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 TT)3  ]/ Complete_Non_Orders:threads=4elapsed=11.887cpu=18.784gc=0.680factor=1.587zXZִF! (]ŗXf[&L,t;@iu_hy2]vmT#(:zs7,35 69l;{dJ Z*1J8&RvE$)#D8VGǟpxլ'tqS#vd_W}B8BH %_2YD5 $5BB%G$qMXd~Dv9?2􏠈C!,Ŗu'vʻZwJP76[M>_XМJn3h!LdˤT\E}O9̢[2a|\qKJo_3yM$M{рq*Ι8n(~ ڒ6XW qFfjЕ!&@K 4#^<"SkgYZ7zXZִF! ]ŗXiɟfsҺU"od+>X5q%vTmfvSFq͹b܆;4zx <y Ҹ/Oj1"yN dEـ\cOϗ hgYZ7zXZִF! ]]ŗXi%L Sp-v܆?<N|xkK4vAT|ae9C_BdmR!|#r5gSD@# *T3dA[ ]a;?R ݧ5ݯ́"O ARWU잯SPtKG 1qxk03,l4)QQd\1>c߻ Fe~U{,fO A!9xWw#t~5Ks܂")-_jpQJ\WH;S]B^QG.G+#1`Vmj2_@yxSo;gڎD-mK nh[>Ì+'y:Գ?$k ~0yuBn^Ӧ06l?=S t,g i^:cbAB"1KL}*̀Q()oC*iRW(2`TH!KPU$M籁,9d R/2<3T641B>A0StO0dGIzPX#e?`dw4n"ȴKP(^SM2 o]O4~ u  U-3T nK?)LԿz&2.s1%x֨eK@O'rr? 0e7 T;;~0VicvuK(%M@-g|1z\QD tA#"'m*qճY_G]FVFjk@%_o׌ D wI^GCf[V2~=m\(+-e r{mI|0#<*dY^)EhbL-qmzƯ)' wkC=NB/|~+J-ozih@htG')Agq/ jǩ؃$ OgE=>"ֶp$:=M*i|.wӹɭ1?Z@!K] ( kAZ=R@#j Z IL޵'>MzFnVCy1P"}R`Fͭe?E8/HD'eI=cF}b -cZo-Nui!5+o}57H"̶Q E\HQ+(RS/ۀ  gYZ9681e13a8ae3843119882408e0fc935672d98ca2d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 3 Complete_Non_Orders