SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 f3 lT$ ] Selection_Heap_Sort:threads=2elapsed=11.108cpu=18.960gc=0.660factor=1.717zXZִF! ]ŗXf[&Qz꣸J֯g, s]p,Б"8Tqr-ω5U[>ON%XO?DIIуy,,*.frڢ7yȍe]pȯjJakY[t^v7lV0GYƶ:#x\ag[P'sf^YZ7-wx􉩴fJ<ا먞 +x"hl^3BS@"jK 1IsK4uH2lrjdd$,?xoqohQ С ]^,(Jg@<,ck >8â9 )-P3פݥBq-/x,_j7URE;,776t,ilxuбgYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj$$gX\qY˺nf(eEb30 O=ɮQOJxJt>{m}G gJXcH:oV"t;-*PeS][olpnMD)rCL Ć4il^x}5ȉHV%,5)?lefC ,\ʷni Ȧgɦ>#jƷ~=##o%_q3KɷhxyxeNObwbCv"=_3Mk.Е҆)H}^ȪZc8R(t:'N%"oQ1ʪ{"Đ4M"_$g獮o;XnU':lW&tWId 99P8NۿR8w-/k֒31,jHW z/ң7k`)14UhD橓ަ! |U㋸O}[ I[붵ysQbdwCkw\9}۷Z=f\hHU9mQ~9,a0j917kkLPK򒇶FzIcգ)˻&n F;O"SP%BjÃykCW>"L!Sql T@}:XBZI:_loL?rwmX'}>\幑>O&o YިW!_jY~y3z7!Q%If3n3&` DQd7>7<2b3umسVW nTпI/iB77d8j%a傭`ɊӬiՐ'"x~򸯍=ͥ.WWEpIo5@7+C/VBS5xiU鐈% OoZGfUҧp #7jq|IQmܮH{Uĝ)H21_\]l )u h`s+YƲpE)~zCgYZfea84d91ff85100dffcb00cde82e971a127d76280779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 3 Selection_Heap_Sort