SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 rTt, ] IOA:threads=6elapsed=7.696cpu=33.888gc=1.4807zXZִF! -!]ŗXiɟLe5u%\ 6+4 pJA k Ds_mpR[@J5^E((.qn{i2}pzO+ j)Fq-^EIIz䕴pdP ˷/Pdž$Y@ tCi_öyvt; ـY*Y-OD׽֜fIVo٩nдP)4u Sbåv ')яJmuDJVWJ\u$ir72Xib_wvW;N/'㎗aǿ=kjc؈)tR;z|}fgl gYZ7zXZִF! ,]ŗXi%L*p>F#FLхFw`!cl=wv4=AW=v]`X_u,U kӬʭ}y d>_.ߴ&@RX8]U!\fmUB@1섖+--)&v %ұcA|>*Jș.ugeR z\x;Kg0K߫"@Ȓ/@pZg[UXltmsjAłr шֳCqQ@"fI=EaNk9{*ije C?vS\ց B(`r#`J+-';rfsCķǁŲl3E6FDi zO$$}q_4e>-,X&gsGYu:sjĨ؎ ^,6W8;ܨ$ywƔW)OA\0Vx QcSXD&( B3)9Ë5)i=nїvjOj8%ժ[*y?"6Bwrtw;-5TM MJ,!~gze'{}_[[|iЉPޓV9|OiSTI3;Qq u[ï ̤dZUyb7=SθЂ<u]Ȝ u[jWpZ^+y*=mG|娷L\ oI(r^ 8N `dpw)#xcyj1?9K#aS$H` 1RgAbr#S-=dAyãxyI7c:/Q˦$LZ"s[ U=N聚oZ}9 X֌wmN~~k`~Qק np+R1",.$\C*NhJo囎zߛwČ \:ZFOuk6F_]Ay-y0lRx[qVD9A }d߶A׾# po݅SQf ۼ̂*WF8XFvS١ ٘>H/_ ʭ`5Qq4--HǧKf9ϺϵDu(Kn5S ﲺ+5S("g[֋q6 YAıgYZf29d01a281cf4a79c97425dfe2d71b780fcdfe282378b0ecfe5f199d8fe42ea5ccea70a2a20923a3 229a1d829501cf0a740156509d19e43499ab4bef f83d7033b16a537bdb1e000671132204b7290a25  IOA