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 //N | ]]]ZF:threads=6elapsed=12.844cpu=47.464gc=3.052factor=3.707zXZִF! KF]ŗXf1-) enȈA XR„úNjPr>wl3wߎ7H6xy;Eňo||ȑ9@,hkW} bἶT76.9j]8h#9c|&+]j heŊ!)e}akLwSD}|V8Ų[' ǫ.~jkm Z;@ @/`:OW< aS ,s"U/3(\]b?r;o<'ߴsZqy)k?atQ]7?walۍ| kO -P.Up$|zW\>DgYZ7zXZִF! 6]ŗXiɟ 1FE`空$wLPzhZ@Zԕ#&6:`vN X3*X>`-hZ 7i8X*%Tvuv)WDIS`q)_OFwgpX\"mHbq6Ϲh+#U-jZc rVL ]TO?]?t:mP!t] F7x3 {Išyܼdן/9Q}>_9&Xv83.Q W|lu0:ёt[֝l(jGltgK$o,PO{U J!Lp&GMx T5;" 8(ozڿݚᏽtiú;K/P/F@M; ՠ27o6~ŗ(lO)BSlnռoڰ 1` o cTҵo4j۽H#!9Ŕ%L{h1|=eӲO<|>QT.Ccz]%#/G"eI̖;E_ȥ]&7I#T^oÍ^AY]slq^m5)?#֦nqivgҮ`r*.pwa:U" ētsX}Y>)I4'Rrc-CyZm' U [ÄJ%l ßVV2 5/YMX^p>5H=q N 6% R=Z?SQg`x6Ȏ0ܛ%Y a@j)*=ƁtzlZ<ˆYpVAi-nD,^ AQ=R\9QuaAG길h2iJ,Y.ss:W0k?[lmJ09 I8 7L!W+y-OO_I4r%\k9f4iRBÿ@w@`P!>NtX>TtNbY-D#.X yTHW/Hf<3{(?z .NBWjsA5ALےpʮx(Z 6t*h!#]N:rYo"@1h 9j,7"<2GZLߟ`mz@曟muuLTBIra[q.~r 6p:y#^ͦ+Z૴=ss"Bfl6A\u.H䛬dE)[{3j#Mu`9q YjLK Ur圞1[z}C)qO1,i%D`X> 54[@Q8 kU6+Kze߮44s1]\lpU0}櫣TE,B!N{#J171nVJ%NrXoL_)֮ʒ?Z*ڻHX^UP%+@ӽ_ʊ[ eWO|Rä QUBzU#^Tx4?jbg[ O,znfN؃Eՙ1d7&Kf^Vф=lj: JIl 4 Uii&h9`.t eh |0}c7HT?aJ+(&U[!r NzLt1J^[x 2ƹn ̑m$|0Hse ّxggYZ9439cc6d8a575a5fce1d9dc416b4f4b71ada072c1d849f65e40086cfa647d5ebc591e23f461aa5f26bc9ae735caaed395daefeafa1bbca89e5ff1453  ZF