SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 _ l,$ ]/ AVL-Trees:threads=2elapsed=17.511cpu=33.560gc=0.948factor=1.927zXZִF! ]ŗXf[&(tw`)F~{Q$y+ #*7WR`=5.\M> b4#3O2oUļn[(ްN'>bTs}Qu7UKH A P@OSA_ Òy,o`ڵ:]Ɨ0Z x&!ֹ~g@~G)uv a:Ϳ5 :q@i{ILV#37sohG\ɯby( PH;8XIT Rx;rjP}K rfU. Ԁ򆏆*.U!XU( l$BeeP*͆XJ8TtɊ}N`0d6i6ÌImuea]lybHbHqG}(O-DPwRG!PҮbVԭ:[J6`-W_wgYZ7zXZִF! O]ŗXiɟy)j sC: x䛖$03q?]O>nN砉DgxOrS}ha+%3ks`gYZ7zXZִF! b]ŗXi%>g?ôޗ`Tr i"o!ܱ$xq)&t<֞8Xn`bIzRTrz!7[A85>{mlj'}0<ٿ8'5,TG(L')# 1虲Mݡ.9FXd![|C)""ʬ+V+٫ pP4;qGEH A! uP\%$ƾކ(&kb:nK#t r), E8sv cS `Ypk727t}8dLUmXY1cu+~+Ĕ(kڟw]?)ObQmHc('>`aI4"PhKj:8έ_,$_FǑ2@py߉ċ>.* s]2'Qw؛y,\TdB81̯Ab\t\.@:qp`05≁e]Y-aHSVY>@7c/tn@_, 7iGZQM@~Qw|A"ʐ8y<4 ߴ_1lvn[Y5UcwW}MyCW?zx 2 z9Ax'P O]jcU P-,_r0ʄ"3X:ѴQVa["kDkNajegeyt-IϬ{B|jNfi:rMoVӻ_*hK`Ij>Ȭ4hX 0Ƹ裞:I>»I\y_9;"oF(BmQqh2< ^Ȝ6qϻ-e$6tAMN.h*;L|λ`1Se ˶ >=+ꈘR!rP(c_>[I:̮~P:ɸzk$%Iz?k=HN^ۨ2J,qȴiLSR81XĨQ_ [