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 @@= | ] IOA:threads=6elapsed=7.254cpu=32.388gc=1.600factor=4.467zXZִF! v]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K [UDeFu]GO4˗7gSZq$A07L2a"V|e(YX>YD4\R&^P"@DT'6yHٙ͂E)d)I3~|{pFYYdVf:$aǾB%LrlR̥A\[2ϣCl<$œq%Q .p$kUd șa. AyEJ@n7!ˉ]%ߓJBrk h:wZ m!ź_*}S C8m.7EqYdk^rXXDГAULZ(  *$QИ CMH#x)hÊ uj9F^ܡ}%wL8ݥM:AȚ ψarJdK'bogYZ7zXZִF! `w]ŗXiɟdN'LvH۹մQ2Ǫg 7pλ'Xh26NGo(j@c3 B02߁v!cW?f7_ξA `@㝵ӳW} [l⤂o %}D@2oe I){K&¶9P-[+?X^<ɊI qrdvtJ@HWbY3 2F$8@1Ƥd6#m{ۺ{C)5+ qvS-#RM#`R<4x6dR n.^icEN:~ԡ|U*X:\s84|]˝MqSC >KY= kiS|gYZ7zXZִF! ,]ŗXi%Lny!J&Lگnb렛`#\`|a}HYCirZ0Z 4˱vuZaeޅ /V$p MW+!=N7X#Z1ڠN`rG˸w4zlėS s;6r6Ώ^ׯġo'hRKGuqXe`;A[.O$IwԯnT%Rs9*`( Sp9A?JT; # `uc(uŸFۋ hME.ېjc38"ۺ|Hzp3#fkפ}.f SvQ^rh- B, 8UM|6w  ֕ёPRv2'*`JRDMy&{x tewҎm5Y[ˀ~#񮮆7FHG"ULg\gt# fQ]_`9ufnh)l974.'r`ƀtd8)%R΅6%3耬)*YaI3s6=4:y@Op*aҋEI1bAsG3`ꏁR%4C 5eycƿrϘL- TCᒲ-xCK}=O6[:1īlG=Ρ34*H;$)A0~ºQیFMo*F'e403KUo^vJSlN{K|M5Le{Mj"Zj Դ'nZXG`Voh`YTf&Ɂ1so0q|+Z/DudcIrrSm6T%6&fK|(m>>c̄7f-řr^Ih7C =O%\w}9"'s|:}qguz9y|H뻜".5[ϖq~H-jdK t2BV)3`umٳEiJ1D:d(UPTG5sB#G.yXMY.d:ޅƹUa~Skq׳kG "g YgYZ63acb8fdde6668ea901dec70c5f1497c57697f0383cc805694bc9911202d3d5491fa3857d91ca92e 1267aff52d0486a39f53972086158f862dd66e5f 214425550214caf5adea87b21b6bdd2d4805c56f  IOA