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 * $, ]/ Isar_Ref:threads=4elapsed=17.661cpu=42.420gc=2.216factor=2.407zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V2%`٢*+S8zmqFH@mE+lv$0 *6ed3|k,'u6i!|J'EK. NؙP[B̦P$]/>4 0`E Դrkr>,vlHOSGIK 1MLlPԋiiܓդ " DU;%nҊn_[Z?_~DwTi ?f{W̚8Uμ13w,%ߨ+;b6u  +).n-Aϼ/'>-V֤{@D n$ֆŊM?GՅ8$+T}vPEI>?}ȃQ%_ҧj.quMpzSAkJIpb~iv_ߕyǭ:VyPLe{Q/5Qwb;8ڞڑk˟nsf75pbVrkpk,goːc9}a`RӐ%1hֳ#gEjgYZ7zXZִF! G]ŗXiɟ1˦rnzx <@0+gMLST΅?uQ UWdy::3Y"=@~{ œu~IzMDW Z&\mMI+:1SI|UxF6vfͼ.VKyf#(ɤX EwH&ƥ$V7=h4G2$[2)iHjWIZ"^΍B||]aS73Z>"ǒ7PSg(O"v١{7P:3)v%uO# 뿻$jU5D~Qn 0#*%d`մ^+YèrXUa\!TwNTs*K֯0LuW_98IVijmANpJk_MCRf:Ir=ٚ-P 3 ?ӛ u|| dɉgYZ7zXZִF! T]]ŗXi%B4ɣ\ЙC $DC{po"SLFȜ|d7hБSOH;ӟA0c=@V79w'zGe|ceOpa((-,5ɇJy2xc ?bef1aޕ9 @%6ls˭Fݷͅ+x%'Pݸx$s#Ki_-emlk }pJ3 Izv.Qb/ﭥv*@l뒲t R'cRpKr:WC9}.$ݯ{w[[W=:wuseWFvVp h[u8E8*"|ncL[+ ?#[-6S\!>}UKP-( 魯3~n*CzVTW'rW;yV'FrB\(9sQF8sr@$[^ ]>2 }ؐɣtW{y6<^tv0ZIO3Zmm( aǥ`mʮKR#g5=%_l<`6]eV[hc?#3aK22 }lG[)4iĠ >wӋ!۱_XB7V*I)е.}?-L%ZGZLti e=&&Oj ߔ?p~oZ`!3Lv6 L1w U4)%f0za6t9!$WGDSsI5-Ad@濂lKб}̕49yMe,VOn ;9=;Nڱ㞊Uk 9"'Aэ6"c#n+nM#HM9$xpd}+󉈥"Ҡ MPvqmY7eG{n|4jكoI|B/,{DxjMMSdM87Է1#C`7vjHJ(řvy7u'H62f ׮ ި!JgYZ1710198264abc9f2f9cc72b02c1ac4d040a8c0689cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d   Isar_Ref