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 g 4,$ ]/]HOLCF:threads=6elapsed=11.598cpu=36.988gc=1.976factor=3.197zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0M' +DΙJ=N` @[ֻ<)2 q_ywŕѱJ~? $k-|'70ƃNg߻f^?6p.ô|'6}[Db]s ^=E- fYAESkYh%7,gb`j@Z""_oD#(myK_0 4,/0[Qa}nj؇֧^^zЌ[lb 3)5gS-mw7g͂R; J>Qjc$Lg $hRDtQuԂhUS؃gbHV%`c>Xm-4BӇɇ9S2]XyNg4WĀDi])"%ӻAOp.O|_>k46x{W#MQ6 C3!*V7-8_c J3Vx8++D29XL7L 'U%{`v6bg% :1V_J6ƱkyA#NHET[w?(|>?a^>rkAWY*l1B?0"0Vfn4ݳ҃. Wfq߶lx9CfW|> /9X!7]cH:h-`Uq7 :ݾ.$:lcVDvPc9HI[&T- #YRJ@hr#gYZ7zXZִF! C]ŗXi%BY ; 7F+9{Ejkj)mv+.A$aԬ=!{de+sif]+Vci)B m)sT+ܥ_UiQOB^'(>4)i1Gϡ?`.޶w \hmLwaG]t.Q4@zɧt^p:X` /R3Hd'铟gRE Qw4sk|c1^rNhAx?-dPř~˽SN Cad2ZeTa\x=+HЕE(Ձ]P$/u!?mkyR1I-W_`ڄ Pa- 7r;*RU64 xzf2]ϼǼ Nr0ٹDYN\7}\ A:xP#?pM{to3 ,1Eƃl7jՇ:L֒N*x{'謹KC(Ft^0+46gl{s B#Ƹ?(IXc:Q7J-R d\D9k=TW yI ݒ{\W7z>WVD*;8p+K((I 5kd7 dp>qh;3͇,hl;@7ge5xV.5lXy'Fز'8cma= nM+>*wԏr?~e8<6<FdWreԕJBLC%;:00q%E& xP=΢Ӏ;Sf^lh$,oz