SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ::C= D\T ]S]HOL-Nonstandard_Analysis:threads=6elapsed=9.313cpu=27.008gc=0.960factor=2.907zXZִF! ]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6x5fF]xqj 2lû*sXmP)/{e 5'?lkB`OL=m,ge [^C,{AruV_"Y&Osa)%C聉)㊮N'1s]dKSz2d}p#h"tD)E<4u܉;!P9oVסz^bAn!2 ?R WMog@y#Ŋ^Ͼ6i#c񺩢obV X3ߜ4}f8@FǰX#ĵآXx=צw|~RCG| vȣ`.mO^ie_7gYZ7zXZִF! e]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>[O`.oLDUxuwq 3okzƻ[5%`<mG8mPH}[zyzd?V+5ͫgDԺcVDlWO GR83Z'({/ .F TO ʭY7 @a8& s)%m۠>W鞿eL=ИZfkٜR#q.03x oKg=h@'S_o=)fdLlI#w53zH-vRDA* #˱gYZ7zXZִF! ,]ŗXi%6Ʀ32]Hh#C "rV]"6jhk.r9 &H% DimφÁ{յ/ߎdFp꒧^ER*?M;l'̽H#H#X3VzvPҘL!>,5#x_e  =qOEQ9p ԑԕN84zai /.*=[矉jtťH-QyMsÌ<'fq2](N|IY-njV@ӧ;B8 c8r,ɋ$4Udgf,u<P\1zwMc^X Σ^tg=z0i eO{RFBo fגT7T Z$dwɣL$vE_wͼkZbEY /zNAs gKG'^wH;& HHM OҐmY, h^`;"6&B]{u4Lz 7X}s|uK|$g{|2E "Q kec'PU. s g"ݺ5B}?2Lpp&:ފC m[~Ʒ9RDi]x`hYd!]hIo0m%aK 'aIԏĽFO}i+6y;b@%{8^ wG I8·3%] |~D-]JqQ6 BڿZY1n{YkFm㉈5M"c=0/eb&s{F'fc ϒ9Yg1ј~>fW{ЇOYgYZfb4ada728947263021afc1d6f7022bfddf3e2d7efa11a088fa6c022eaffd52f49e1ce4d13eea3dbc 4cef5542ae191d60b950c71717d249846e24f33b f7410be0199f6fe986b9a4c7442998ebbb86139c 62cc2b4a38579c29ad13fc673bc9fae97090bbb6e98bc436a4a7a4127c0169ac1fdfd06d09db8346 = HOL-Nonstandard_Analysis