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 (# d d ]% VectorSpace:threads=2elapsed=40.819cpu=70.420gc=3.640factor=1.737zXZִF! %]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9n:L;G7R}WZX/o|Y>*?{N ~ f@1jo(]]}udͭowJn:3 }%oaK*dL-hn` \ŇWB,Fwe?ّשhq/B߃Ty'Ai%h5aC{m٢Bo+":[F_~Ha5>k5{4jA~ռ_laι? y 7 # VectorSpace  5~LPK6eun&Sp){Dҳ͌298Ei9xucȜ\9PE #sǰ5Q`Z9*`q' @Љ8_b\^zZ]❫!Y"`ds_`_>̚#y* +듩էkcvN N3_6 e@!mmW\(3\'Ӳy5ĸrdct+$9?^9*'^aGȎ-@Q̬rJM Џٯ_ړjxS,镳ݪC!}A+Kaei"v5Oh^IYO-C. Jӎ,͗#w7}N$=孌 p33Fv|oOX;2F 7)<8mn팊_/_K1:ve%;+wHϪ(oE3_ۣ w]ٜhLPh~~z*GLUEgYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({?6#5\~;Q{6^,B3_q֤.}<_SIrUmoer SoB Aa  4,WLT*:6~,C ,zLLP~ȴ'1o*B5\^gYZ7zXZִF! ϑ *]ŗXi%>gj2lE'Tqu]`_`k?k=.0v|4,,{i _tʥM>%[C՗ yإLlкPwg'8x5MbDh #FrS[UCH2֪ Y{!T^[(ۆ|t\Ra-n%A=::QPɉ7}s/-:M=4|w#f}p+pS)jmDs eE^[<_}]lBn>ʑĎNmd.󑕻zIq鄋P/*ځPH"/g铷.D .՜\D|$:B7b״q6#FV)?$ H$g3a^!_e&@z [𦄵BL4 307զ̮KI7]J;;dPFXd 6m:wVR%;R<Bs c1 Y$e!ݻǖ],8aSWdkj*k,FHqi_:zR{Z"ACpAtg'R_b!UZ{m6P|dt>eM}َpl& H%k~:s2q =u@CPG!_0^62*™oAu㟢s¾+Uc`m/Ta*!ۈ+P