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 !5 l|D ]/ Certification_Monads:threads=4elapsed=3.279cpu=10.544gc=0.324factor=3.227zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V-p(+tqnN< 8u6D+ L[9 -"I9'$2TX ƽ#,,tP]m޵䢕+f2窬̝='ܕu%͘8u<(Qun ƺJ[zШdDHpN01pmH~nQr(O5rG9( A:33ݳR.Ml.|_QLE<#h9ENag;,)һ˟Vpt*˫<(gTqGbApXوHB _ub ߃+]XOiE ̎"Z zfB6#)CO~k{]HZ4!'dgYZ7zXZִF! 5]ŗXiɟ|E\Ât+.*aphG)%uGGK;f1PH$cslZt՚n]|!{\ҶS9L~$UJocWŕw^ZD|Rdn(.[83oLv4/~YPmCs G ?9$!qcT\]!f4(`%&yTE[?AXBM j3<u*JaSBp/j$%\䋶,i HIs@y"m6x[AֱgYZ7zXZִF! &\]ŗXi%I o9)<JK*.I3YLT晥}vh>~{pUg% _Ƚǧͪ8Jd!FDԤ%PS~34= 㷒,Պjg!4OhvDVRYs=)vgbz^j,-pEvja3tq~uc'MU $/o翌D0VQP`anoW[y}gO;ۃo<RA`8a$No=YyjxܕlM;*A%0ȹxN?y}<$l8}ֿ^cUvt%9ɗ_S_xYɖT-GL% Dm b60}ٵ,+[]Eѭa yTh̯_ۊOƱSo~`V|5 LLRG_0!Z]w4cܪ3ϔI3ElNP,xT '&[䟮2O!5N^{G:fk|O{BO*z^>y#•␧~?轱s$ \mc&Kpb+`Ʉgln heycMK,B#ofKC9=>1xz ^2KUr0Ü,p.? 7+kNkc;Ed9 Kt/vʜq NpF;MmGH uh)5нgԧzM2tf9P<隴!I)P_I~>Hj`<2> J':mQyMrngYZ7791fbeb1256bc4d169b4e149cbe17062f6d3a465a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 5 Certification_Monads