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 [ dt\ ]/ PropResPI:threads=4elapsed=14.209cpu=30.728gc=1.060factor=2.167zXZִF! ]ŗXf[&Yux6n8Zvk{CW\ ^Z̡An#FN" *`@gYZ7zXZִF! t]ŗXiɟ˕A|tYnUzݪ7PE |JT2<>V$ХAa"] )M1䔙k&ʥ+u1A㝯'z]nOU-2gYZ7zXZִF! i]ŗXi%L Sӭ͕&3/fjQ:pjae|q߀'nlrQs{*j#$;Oxp&"Eri#*ux+ bS٦\VҬ]?_~~l7a= tԺIG6R74V՗ [Ï+H7ӤA(#v\CmT6){i6GCgE^4qe.!wq'O>uPdoCkLӾ*_HԠckU*g![do. C.t3!`hc}CcpAI.-`w?O_O>{esO.4ҽP `^&hfqK:ArLQ@ʏQvۖd_wA`fgiaFy,|ぐٟ%` _Cv-(`gL\c?`kZ#{OV^g|O/-td>{`Ch7 G#,j/p'M-\7FiAjpHYگkweP(Bn8'%Yr$zl‘3?èqfdo x_e`cy؃9fQ$l,kN~Q8Ԑpmo.D`[OzhuBm`./LmyZuWt8݌08@0RInYBˬƏP_m \tY%OޣUwMeTc"=}O->$1U4T"_V*G%z}tvuЎ]gY!) uen2. \s""Mpޠ j _򻏯+kT; 7G oa 5QuM7`GƵ=S1Nj'6a_6Y䅻x"Q$ɰ ?=ӜF&sЦqmcgD@P-8