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 }3 l$T ]/ Complete_Non_Orders:threads=4elapsed=11.530cpu=18.224gc=0.676factor=1.587zXZִF! ]ŗXf[&L,t;@iu_hy2]vmT#(:zs7,35 69l;{dIœ (lԋ e+892e_EU-0feGmi'7_K"[k FQk!:Bx+!Uq'ұenR<7q{BmxX PO+uҔM a7aJgm&JVW}яlĹJNi$ )ђH,[TBT!/yo:k ͸0>/.YFGҢۦu%jmE+@SY'J2~ g,[j7)1Pρ)'*#Z {q!0vgYZ7zXZִF! ]ŗXiɟfsҺU"od+>X5q%vT(,` !rn^Eo^I9X0?; ÷ );#Ldv큯IeF!HA"gYZ7zXZִF! [4]ŗXi%Eb⬗x$ ~TKdd9*/P[ j1w(?#7>4_;Ov^ఔ?̈Lr(k4}T ?GL=sȳ^<ؽ/}dc\dI(GQpm_فBe֣SϢ=&XF!Dy|La׭-Zm}IPC(O3IȯiWziC{hnz ފ|_K]\xwO,?m3wh6EC'eC[x݂,2)W'.M -dJ]@"!wuܯk,v,}h"(eF>HГe!zB%c,,g(iGPR∼ŕC@л[޿f6HR?pYp~Of4b"xX,sagp.XEfgC߸>QL͢im Ht˔!P4g!hNp_Gn,%w ,`}`&JNbRMkaj5ÏktOJHZ?d$ wU xn:fDZmAIp{4*ŒaX:Ei@?8FgDB$]vFImŢJ1 |/R6Yb YT%[qm5 9 eLךJ\dzSȘ+|yم%&"qtu'pޖY #$8ݖ.vx|/:lPB4gL1瑰|'MdQ,WOv޴ 3r/'ΌJݏHbݐ22w c[>lO\u}_h޴ΪNA( ~;)* % Fȇ'__ImwrV8r,Y=UOG -C*k|us0d`4!z.FO^Ņpf@oxObS6$=oF9^u-_^|/CBsZ\|/ޮ"${o[G<燔~O..%,'EXbSRE3ev7+_)\Y<307ѡ\>YVX@܊,ؑf>piLPnM߾7`&+! %hr9]ѼPd!lQ2 ,gYZdc2dbc7d0836f00e12635d1a6ae717e307ca94ee87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 3 Complete_Non_Orders