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 ((U- $| ]% Orbit_Stabiliser:threads=2elapsed=11.492cpu=15.636gc=0.628factor=1.367zXZִF!  ]ŗXf1-/6vR[$m=ԩ8O@:;M{j:h9P`^CY&HFjۈ4᪅1 Q\\XD?io1:\rFoˉj5 "Gl,Lgk!9ܿvuypqe” hPԬsr3 ɰ*R%!DS(P$䏠jQawd]69H/D)>r nбgYZ7zXZִF! v]ŗXiɟC,|XJQWpnz|9"癫;U'9:8vGݝN]KOk5aՇϧO,\KyBU0 贱gYZ7zXZִF! H.;]ŗXi%;3:Aﰰ++z~qUϧV.<-!={ȍ"ڒ:ZNIea%q EBmhN)cYg4T9 =!:jKƍbB]&;Eps(2>(b"Я֬NAFzJlrpy##W,S3XIᔄXrK4#QW,uúȌ[.b4?o[&֚KbVy2Qp60md[N}6;l=\w.Mg }-p/K>'Աb2:?#R )&o\{I܈Q|R;Pq'*qSUCliU,3(zր"gıNU-RB/t/X('% gRv*npLvyw1m_$jFt9b%lT d c]ܮ` Wi\kD<4yn5H3}"j瑖"t _-߈:bJi}3 #,:aSātP2JHz5?R"œ`5t5[vE+;u)ͲnδZzĽݍ._@Z[;&thIy )SPS fS2jr:7/^! ^J~ ᬲZXښOI!)E ]ꀳ\Xi/#e0 f*WD ;KحYUz4 葎*f90EiIP[4%j|4 `ʕݥ ʚ/1vEB)Wosވ#i^|o䥽v΁ H.3D^_s9uRebvڢ C .OR'D+OVaP>\k`kN7N'٣OٱAE i>䌫;+K6E {4226!5W>tmvMRn Ni3 gYZb70e26af58843105078829cd759e7c158fec268f665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 c255daca4cd67e985074c64b73359417396792c8 2c14b850dbaddb3cbcd9316fdf1c82c4311ef3cc - Orbit_Stabiliser