SQLite format 3@ .0:  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 0+ <| ]/ Card_Partitions:threads=4elapsed=6.286cpu=23.236gc=0.456factor=3.707zXZִF! V]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&VQNN&FCT9/U6}8I%>ǁ㼪Nҭ̸q/R,6+Ht saN@#?gsTcb:l2tucdJ, O?s2x*Vl|Y[֥[E  0-QpQFqמƩrSUVN ⿡Al-X}1( _E[ vQ g8ڽW,xI4¤iԕ2 b?h Z%& t)png%@ +A_\ !(XXd6؋Z}?*9ωw*HJ-ޕrTk=>k=V \1!PdnɎep@ kCU +$-3<\n?JЍ?p#F`7bϮ}r=`2ڹg ^נJ+\kn#! gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLF H2~Rۣc6&WQNR~įsj / 0::eaVi$= rR8nB!OB=o}uYIHsC<m<ýH4W /C3Ƹ_fxh|o[3@hsyU`Ax`\ غkv2D תS`T@gYZ7zXZִF! 7H]ŗXi%GgԬZ%dno-$n>9ax+nX 0RS 4{f@ @^@Ț:U).ˊEV ڐ&9蛰S~d#g#I%9)ٵ*uMrhH&.(L5ֳغ[ רtb-Du[rs柦S\Kӡ&kGW:P0zr_]8)T|n? `-Ta0fpLjL2AdүAvd;wH3yGNߺTIi]a$Z$O2lTyaZ\_fJ"!QmmqmMcgc1-(c1'5h+*O}N)D! CU"iK?ئ)\cX'̢?XNS/ZpvK`y+r 4 Sw'C?Pڊ^Vqעs<"5L G㰝kmNLvnǃuw _o}1YscOEݦ[j_>):,Y&>݊!XِyҺ˄z;/s~WJ*q-UǨ`r(YN@NzРDzZ2R9&({tYӳc.Xܰ9گ WND\yNPZѺc, /rdiwʚ\pF2%xB>E X_Yp/"q5MfClJb5君`KYh~ذdxY*t3͑R5,gr D7\Gh*zs*%L^Ņ%^D)[PoҰn6K3QSh#[庈n&4cyOZ7hj