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   d ]S Show:threads=4elapsed=21.823cpu=53.360gc=2.280factor=2.457zXZִF! ]ŗXf[&QͫВO(KBCbd$%sqc^=D.IN6/@yHGZCnGo3Ưhiɺ2> a8ARڈ4q;>a"=5ljaE GW6:&ەiE&7`gg4̤50!sPy(*6Fr(ӄ@:gYZ7zXZִF! R]ŗXiɟޅ*-qb;*h q1k l&>>3=*̬ˀ)D7P M@VywBE}f/ m2_+LCADڋQ [Smn^&|!$" h^X:"DBԓ y> &&}7m,dӏ⑖EZdHݙ-!bT>e ΔBgYZ7zXZִF! ]ŗXi%L 0 O5g\x9{+1g5=ᐗbE0K#g;*E4gLWJGM1Z}!Gc 춯|'d|M&۳b\yI2ZlBӽ.Ǘ(bP5b{n"FT_NS᫢:91܍s!9#(mP%~^Aa]o}26%.TGtG`TEH~q7`wQ'+/$PA62/F|^F9u%Sl "H mvz-i}ز@MGN@_%҉5! k=3&'&z"My?ޛ!YAd7;AftlLpBQ$0qN|U?Fqx!Bˏ@QmPoD|: 2s̽$(\׀"q$l(qXi?YQ7<IQw1f 0ٰUҳVU#h-MQ ]addz#..0ļvpt)+V@*4󞽘aR89$ô %n Z+*!dį_jWo7"*i_t$p D!4.%g&u"ܲq.ϜΆP&7vge 7VѪΛ=ɕM𭳂b-RfIa*+p/HED, M2?D0+lqm8 jKmru>$36DXjKO'@$ehuS=Spt=CN߾k\?:IN>Vnk sDP (ELEthI\twQB!=Z7HG`\z|"P% юVR8gQ@迫? TkjZ@-FO~-y'0?U@`g@ ,|G|btda9RcwNkzyzT挄]bǯ0߱i咀btPCG =\+喍۵ABZZ,*-qŽ)r1 ?@&ߌ:sAM4Ib.t)Fy.!.떱vոsEr_~+VbeBz&Y#W#0fACjָ\eʡ{ʦ \JWz9\ 1#"VjUVpf4@0SQذ\c01_ؙ!H#^`~(`٬V FN.|.kҍۑɝ{T:Ǩd;e8xMU˽yl64B3`e$oG(ԪRUx/SdEf 1$X"łtL-)ELM dr\U%Opغ+ȴ~r":jq]d+> B_{'?sb#)3lǗ;NRLzV1ʗ a4v.ܰzBt4$8hfbZ\[\/XS1wxz̻V -#w٫쵣r"hbag4xVR ̧{DT:\mO ʵ!KlHԂ^I5T -[8ΗkBTGzwNJ Ԯ&(T bn_k(+FrP64`1ۺk}6=Vt㥢n!t`#3ג PGVSw\5w!]ġjfH?<X ;R`ZAgYZcf0a16a4142203ca837a2f2116be507ce5362682d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b 77e1406cce5d9f2e9929043d596603fa176e24c7  Show