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 yy l ]/ Huffman:threads=4elapsed=8.073cpu=21.096gc=0.360factor=2.617zXZִF! ]ŗXf[&qأ8<±0LB]O& ri=Ⱥ/pY¶yafng:R;ƚT",}F4{6{Mc9c]~S307Kwd> ߘH5 IKrp>>BVα,(CF; }v& pchw wײ}ćg'S#]]$h;Ε ?pL=Ti;qA\ e[)0b*pί#8UAY}l_qە1#ɗ)ۀuHu-B[>0f#4Iͣi%)Y,&B)0=QH# srګ/T$X26@3EыR!yze?e],{rOzw3wM`C:qMgYZ7zXZִF! C>]ŗXiɟt0sϘ ECS>Źzɑ O/ip(bZD|c}YZ7zXZִF! Bw]ŗXi%B){jLl0.zzz,8}+-j3{t/+bp9XV[u園P,6ɱE?=$\RϹڄ~W~O'/oG@]s;jwAe !69 -4@l07P9$_BC,~BRWYֶ!y3'sZ "::Z "%R-kR1#٤_Gb)&Svz91~0gSc*#ǏP)1pȗ>:8m|5NpV?sqC1GkB;Up1+5,Zԕ m +^8ʚ N͔E pRI LoPA c /1EgyyuLĘ;9T{V2[%E?ySeĆؖ;Y gdsP{#FҙNFo謲5w9[b̝3-EMBj"{b@RpQlOp5-߸1J/" ]S%WLAv.<+x3V\o`L7-XW9_%Qj)N^PI@0Haeϑzh:rg[gu_Qhצ( jI[ݾoSAW]õwɫ !7f+M/Q_ k=4o*p8%W7ωnΊXtv۬ yˁaQɵDQeU۞XMby?Fh=o@d- Hj9lHSQ1lk>F˔7 'v$闅9| =AyWfp Ȼ% eET3VܨÑ5NY؂fY7oX6ojQx0 >81w%pG@~znJ<)?DjR