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 H- ,tl ]% Orbit_Stabiliser:threads=4elapsed=7.764cpu=14.776gc=0.244factor=1.907zXZִF! y]ŗXf[&uݗ>snCNYk#$* J1OI XՅY5W9.[ݪ::OvKTz׬mLs!Qg vԜ>gmal2qࢧm:j剮U^&Q&͍ i=,e4 ꖣsۛ[J b%;,Fa/7pFؽ^ʘ$gj|zyȊ|ꩵp8p<.6mO#ݑ@y.BڒEXÐP*~ ^gYZ7zXZִF! t]ŗXiɟC,|XJQWpnz|9"癫:ELo vJMu|Yڄfɇf+Q 9@ZlǬ@  gYZ7zXZִF! B]ŗXi%B:gIJ$>pS1620'K_ r ]o c-F.a$T3D[h 4u"]y@@4epSIo=d֬h;Թ4or|&T$m3*d-gpuuV?@C;c7Qԛ5qK! E[Hb%¸d oi5w9nsеzՀ^5Oj3x!> 6[JtPxՐ(dib-#P03ԊpT^q09w.IIIf}^ķ{f49\nGvX#--@&FUMbY9wP(_qҜɃ)P/rh4u5|jewP!e9:SܯHǚ^.sYO咨S|9-7+bEûhUt۟3h_ʁxŕlTX^ ܤ߳c9Zf;D&UO6j/V`sԥ tg10^ײlX=1H-2e> hR+D0y깑D]{η&IUyZi.k~6ͺ a{>!BRvCb*ܑa/>;XQ r%)|ϋnqD×lJmn"z ?hUZ &Ŗww]UGry  U.:-5 %butJ:%gj^p"S pXܖ(@m~Lsb>W;urԶQY{s pn?!΁ٲM*̀ÈV >.)ׅ~KnE'1wϟ]q cָxsSe'fޢLO;P!ޢRxeۉ@b[ R~Ç9oAPfKY(=TG9q(<To҂Op5q.O^Qaꗱfϗ ԅ4?qgYZ4ee8b08231135be9940cac741912597d51d670fe13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 b7d4e5bb0195d6fc78e68eaac929036d7f4e2312 5ff326779a75d5e7e788efb17330c4426bbb69ff - Orbit_Stabiliser