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 " ,, ] Separata:threads=4elapsed=9.157cpu=31.192gc=0.712factor=3.417zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Svs,S7 U&O=s\.Ber߱ga )JG֖|ܙP_ Zch V Xʤ&P}ނt(Vĥˊ5ڷ{hzq Ɏ_ܙyǥ̻W]ĉ.qFB ^Ջ PBegǰy!\t_tn7-ܿLt{wCAr*l>?)DmywYu/״z@Q S߮oՓ8JE ԌIS+ρ _0o#L'UbOZ ?O;椱gYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰KKZb24u5l gsx0j 'nGW6`Q֞ P~2jm/x r6l=jf@v_q޷]@\4% {9] -*҈}N%߲Y5_Qk띢##mʯIOkb~3>*Uˑ``a``h5a_, 3;]H(+ dԦ 8 gfs,EȣiOf~q%3&d dV~b<<$$mDm'zj|s6Sv/ z[r_av⎜QڤH/p3kɢ6Zy 5J ;daQ@Cٔ ohUnbS:Π0BfLI6J.-/¯jRp8t8eF' ޿8:a#;Ƙq˯7 "G)2z>Xu\?% ̀dhrodD<$~8> "چbfmP)T؆(C#J3hY,/6ȿsX=W}[n }qɩqFt(+HyեZ*̻m"G0۽ n܏,IJ.4%9k08HQoW2_:Hp2@bsAVoo_S'"GU8a`1qa04z;~)i^~1!-ocl ޲t8ȴB V&V~>YD;668" nO% lwCϵED+=Xh-tIMS" 5,{.N va[>cdwȆfV^& 4*jd` a*-L q3%vt&!4pH:[t++ (Uhc:F)(?C5$sD$3A_ ыn>gYZc654adc48b09540806c6219e32b3dbd4390aeee5c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c   Separata