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 > l< ] ZF-UNITY:threads=6elapsed=6.456cpu=32.344gc=1.176factor=5.017zXZִF! 4]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb5ꢾhH%ŊEU v[b3.z0"x2FqM$5ԻIv"-XqQ.CP7 OCiglظ!V`2(@?[#w68#vДBo@,u^>2X| .VY|Pw "5׋r%Z1/OY`h,j'!IC,d_T{|d(b2P(݈]sf ׻S–JHi=Y.ը.6FH3qi4*Tw@8%@wC'ȶ|qRڬq#WxQ^O8:`C;e NE}as _{tT`^8ɖ´o ~/3^(gɂK ZI1e}̸h8aܩϨ_ql*<20FԒU\2G'w&^ [GaRZa  g8/]]cpv?= _ H8#DTYTq!\OK$c6x ſVП(l*gYZ7zXZִF! ho]ŗXiɟ9 i:4V;}A<<ګMP76V}逵նۿkv&d<[g{ 5OLƳ*`>~^m #We&E'ԘܔF$,>1 YBD^Ayi~ߓh-Bz!w5ALR?T{D /YLwKN[3foY|<X,r`﹞z/Bs Pw=)ψts.3JF#5X[cJJ&MF2='XFnК@܆TG+{uχ@SٕPJEK/;!dPƍ`ǯ/]] 8FZ rbVgYZ7zXZִF! !W]ŗXi%;ވ͞a J5Ϫmb}kx690 Q3'G'X1G  wO ?CA@o:"* %H@1WKВ7T8f)^[1uY;\ڽmH̢Y3$H<(1rCex-5C ZK" GOǤ=w|޷oewK tH}Uḡ\>ؾ;%_7aJ6W<'{~zI{/0wSp𷽺Ih 8'.zH l--+VVo,D 6`,RYD;,8 ė {SO/y-0!1$ijC4 1[Aа:Q,xO=ݼEW4I=Dt[4bOяB(O0eF<5h ϬQĖ)R%&J Y]gjw!B51K3%(I L(N,5"}cɷROG/Yql传M Ҫc_QGEvsɡ:SDL2Ļc<a3|p]Ob#G|Fvlu018+&(MQgVTX9:*SW\Y%uk'^ V)l4t8&D<'tƗI>LEƷehRS95fA+.:LYZ:#]TFfұYo}BgYZa7f0a5b6008cf10966a4e0a2b2b7f0b05c9217f9bbfa36403cf9764db93df21a36477abcced74de8 d364b8ac6f47b4d732ad7c9bd8a2c64437506d1a e4a3d40a39dba54ccee109823936fbf6785b3a2d   ZF-UNITY