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  / 4, ]S Monomorphic_Monad:threads=4elapsed=34.201cpu=61.216gc=2.892factor=1.797zXZִF! |]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*`B_LSj1Lv]r[r*5na,3ǫH(87pw iޛ9$LVj"P ^KuZ3UBj *Cـ%I|=" :ݧVdIAC7S= lPjgay%éTHXdEjb8dByp\4cȋ/ZP%BM] Bҵ5~*-ͯY2rvOn,me @H|&P6ќuަ侷i;=[lee / Monomorphic_Monad  %>Cl_Du?P%%j60F2I.+JXѫQfr/MX?&-|m#ojX~=h^;=L+3Ej*2Z:^@bzQ(󕣹F]on9 %u,4k-gݣ3f=?26S Cm_+M}NNF&(7VY@3w[+'B_cJ8CU*k)6W+'LE9We'mK5"%KgYZ7zXZִF! ]ŗXiɟ1˦r+odo)4ڮ@FfvٍT0a|=>z *v}UtBSynǢG}GdY7άyeeiR`9q5ЕlǕFCENHw %<.yv=~H:cR}+)'g!?v q%YLX%6kTN1ƼA"12z]׿FggYZ7zXZִF! M P]ŗXi%G[Ь!-^<;g,CZc@ZQ>2 1 Dey2y/.QokNvi@C* &\AQ&a?!`khO3`?T"2q(8'fᒞzVP+MY-N2k>(u2_=}?tDYRPVAy@sRd v!88뵒2;r>wTI7k s%;]HPUܢ2QhqrS)n1M] zB#7ҡ0?% GwFUx>Eapz6T5 Y!qtD}oYT[u7mT:*"Gp|&֮ĆVoF.P̭4Mtw2 mPUR[=;eӂD5 LAQE9kbQ3QWAªePfƁZ0pL)_ [?YSPq JGYyXBK <[Sߞ9{:AÆWh֊Ay){6@T3J;,2Q͌)b1YZW{ḣ5𷶪MdY,uX)Z/]A]Oڒuy+_1;3nhc{n] /aqxYGWe;K-NN.GB8λv9ɉ'*&&!58zF^ّ/ߨK% X>сaY`3`1]sHNT PЎ_d[~-Q=rYJhn&hLk@+ TGH*=L9Ncڛuqr!ɍVaROaL(@Y*7*譜*DҪ~q:go3~ `H#<˪kQ~&^KMt衯>8Ə!2s}mEg*ދ2fL@#8``{f?EԐ#WDF??6WE)x'PO1kQ:oާB>D, q[9uRX@*I EK$VqDVʁ]{-fDޑG]B)&xT/sF.U<;?I~?flBSVx})gQe^Ո5MW#>b=b礪N<ow2uMb H:o|b7^RAipY9pxNZ#u]Z+:d-'>[n}؆{h$` ~l e6W a:_N'{<+x>1<}4:;`s%RhcmRZp䚍}0gDCւsY[dO aޘ j@PZ"vD+73L 0b~|+wx?<߅`d}Qck 3rG LkEe׋S