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 \\! 4< ]/]HOL-Word:threads=6elapsed=9.822cpu=51.736gc=2.348factor=5.277zXZִF! ]ŗXf1-q恈eO/O4Eh?>R[Gޮ||^FޭLO1C!PcS(a!-BT>[ ]mqH5÷HF]j#Zj Mbsk-j1ӤQS[H24w}FQzI6s&kA-xpYkDx ZTGU|lȢ|p@m0ީ֌=; kĠE&_uZQ,^M[GQG\u56 : R 9Msfx=4Uu(Y58[L͚P!1] 2Z`@[D$Uz0pHyh :c !PϮ A)$SOsx-8oܾG`=DV%+ocyrl_홁/d${)Iy "}~$5ઁہ:zS m1p V#n442&˔WrAIiqOZ/̽5[=z*Fbt_B!'L+Y0*q\٦%jX^P2A8 in:2~pD^15i$S*כS;U6&{rUxqY\&ǰY)vֲ 2,ttk5he/.%ʫgYZ7zXZִF! y]ŗXiɟ1}?3DDCBCmlRRL)$ Re2%? ې@=0N "N=lz6ztf>S(BYi?,PyϪ3(`n@\J E*v cykUY~}]5Ixl'ěn S$GKC8tHXD][TJNjWcp_(Ww’ἪGa0죠kF0Jf&iOKi2GwAIk9gg'2!@uZN[[5fN+|_ZgʤpE) ~Bg3ՒD$aD3!"%+A ĒgYZ7zXZִF! 8X]ŗXi%EbNQc;y7eLۘ9 ?@C}Zʋ >W+0M-n>X 5HM"Ɏkm^R1կ!*!\x#C[ slYojO$$[ \4XWhT^dqi#5ܕ+>U3ƙdu; ˊEP)M$ s>g@34 q+S<#9`YiL ii1E0[0lHCc}]u7چav=x*+WQw>UKf~-#{~HR/_!E)RoC;C]pxA5P7lf& { ٪7~QΘm(QBqYצrBkd 0{OQOF19'W B[R)r#!wN3yAJb$I3 PE$)*~;Q|C[̌o E8!2 /H4'O^\r0i. 9)t΄퟈X?~[?zy4EԳ;"JW;[4;3smK3d'_AKbHXQ>Q\}0gFcyU|2hN(2:dH%\]i)Ei"C߼Rr5\۠l-țߺ=kH]ܱyS2