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 pp 3 |l ]/ Complete_Non_Orders:threads=4elapsed=11.855cpu=18.192gc=0.740factor=1.537zXZִF! ]ŗXf[&L,t;@iu_hy2]vmT#(:zs7,35 69l;{dIFI1kkͣJ]Eu!{S=PMոyψ9(jy>$HE3y\`gk)_l3k+UtJПH-Ù[&2znmY:H͍/6.?kٰ 1ݎ|>X!gYZ7zXZִF! ]ŗXiɟfsҺU"od+>X5q%vTXU$"S8-"M$)qEw*'q UoDG5#ޘZIa9[OzzHJmgYZ7zXZִF! ]]ŗXi%G̉Sol?y\Tj 5.L^Nh"ӾV&qrPή9;:;67"S84ۤ OhO=xQfjfWL ԿQ㮪&,2*μ{"Oi ~>G[ULV1>py`,%HBsu~=eĿ ~zǙ Xl韚edcޝ~VKZͼAy;铼#T{1E).wנ_{%jq8"&WO4-ī,t4nr)φ W~D hP lN !Ӭv꽃3@F|S¬$RѨ~¼YLVٲDTzmO3.I "vDu/PX"<2SBg˾R6G"\ HLڲc羛5k,YLT/w';W@'Xuza :(}Sg]%t>^n|3,hlO#Rqs7n )Wh8&IvcMr1! X6ԗڴϯ{NLTFdD26Dm( ಣΈٺ;@ZƘy;<+}i|Njޕh/ OMe)oc3QZdѶJ8#(wgjtVsy{EƃCʬCSO["AfAٻ,-=z?%-"}r@:yb!?![b-Z:3h'ha3ڎ׾x IDmˀ8cat?0*!s*_˧sJ}a١{|zohxrv1NOՑp7cHPԌUUH"\_v9z`FQ˨*;}:&[OѮtc;M5_k;xǽqB}ʀ񥥀aT,D sú?H_ PC:.-N@joF^lt30;weT7Q-Syf{׉smRK9, _tA+a+BsZN6sf 8$~p訷K$uS5%kVL9b LRsLpp.&%״B 2gYZdf0bd0d4b1bc6a922df52dabb1c8161bcffefc3e78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 3 Complete_Non_Orders