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 e- ||L ]% Orbit_Stabiliser:threads=2elapsed=11.706cpu=15.788gc=0.544factor=1.357zXZִF! ]ŗXf1-/6vR[$m=ԩ8O@:;M{j:h9P`^CY&HFN `WL8Q)zlBy @OgŸ%C/%ܑu E3 Fm^TM@4_8G8y=*DOm @)L[ƍt="ՁE)'qZ>@[֍-ao ?:gYZ7zXZִF! w]ŗXiɟC,|XJQWpnz|9"癫;3IWfHQ8r5e$d-g.ެ/썻1LC V9}wH@v VOD{[PWo _yHۅ@Z:UbWx,Ab/_khpPž`x)p^rJO>b#>Ruֻ}ў/ 3/(1/ec7Bv)K0N2ka !4A)P[vYhe2}Gu}3SYGhj=2s2l-TUG抴H3TErcX!<`& 7X[('-6B* 1/Z`G0"6֪Z /iC0newlj(t>7p>QQ{s[nLz (l-xmf)ay*^[ ܇}fE|WnB-J𮎍i.HՍ[ ZHH;=Ϣ5w/ZN `(BFtpͥN Vlaxtbfet={S`}Y ,P*3F_?ZfP*(nk^+/.[ṮvR3k)9FLَg#Z_!v\x= z$ṨPL|&@l {D106٠Q#I%٠p풛".IЙtx\@uEqNڐ| <(+G47A.d6)5cq:D/{ymľoWp`D2Hmy",~AϺPUM,esOu 9uvzAUjD8^Ւ y =1O[JY4~+܉jv:ǐAυtaK",E3vgYZ6f713ce22b22bf90c9430c6d60e43e63f7eb556797833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 845705c5b6646e3b00d48128f2e977e04ddb5f47 b476814188309587a4a8c1e3c796eb5ef9129063 - Orbit_Stabiliser