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 # 4 ]/ SIFPL:threads=8elapsed=22.788cpu=95.409gc=4.582factor=4.197zXZִF! 'q]ŗXf[&N} wI>>|VLڿu@jq\\=qa+f&gU8Aa>&k^H3p Bтw0"K>g']J8/ΦT<{Q 6Eq )5 Z zB'R1Y*,q5$2=l*;%—^j~D=Zȶ_7Śi=1Qn{~ۆ*əBiYܣ\O$Hy g,Α[\$l &K OLcJI,<` jLHfKf;$fIDVdf"䁁ԭYn.,D5,OQ'X9]|Lzl?G y o7M]DZ=d޻'3CJBoPͣc%T}`hs[\1a|VE@@~hlO IUh\rڟ?BP&(VKs['u:3Y8@}B̡#lBӬ?] 옸r%&&%o+rOqd"ya$"h@Jbgu ꐢ[lNK:~; `~hW㎢Z~HLJ^N#g_5K .&ί|}H/S뼭G{ĭ=d i- .:l{w {y9ﯸӑ$4P|lA,aäIIRHjHpF~8!KiwӿqZoY֪8ǒi*]al8#(,4I\iLzyth8kSϡ(4 Lь{biI>fO↡j?WJ|.3w[+ L؍\wa:"*X@JmY4T./䚧eJ |rNqngYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MNARj((t)iۤ 9p"MZߎT3ZY,qU J'7OtaVwH,/D9#{NR_08|VzMAAR ܓ?9cEb4O ̻qo`{UG aQ gp#U/]M𘶛H8F.ίOvC-ۚˌ5;2 ڠ?|>vgYZ7zXZִF! M]ŗXi%>t{ʈl\lUY G)wH,h]q*e`ncNghg9k6r?`VJߜ{&Ԍ7*Z 2u¤o Y8WS;,bb6IMLIZ'm$[,^ʨvǙj΢\TkTP=0|y{IoxѬ86:ڤ4MOXZ[*¶8O*bά)Qu#Q=1^SP{Y)nј?7JXvzW1؍>SW=Ƈ}f놝iAWv]hɼp<|g^'M lBa W{ڗi+l%ZZW`TPvb.d3sǗg3&]Xbr;" b\v!:lpgĶk Z&ُ/sypr1[7i :R_u3źQU,O|1ZϹK9BB]^p,b##*bM`K"CBmeTMCpls3tm޵wCN\ׁl'$n)ϥE#RM\3k7=f09^H7OvnF:XKtŗa?pD(xK*W\줞p,j.ó!w>ٜ9[e~>KeE`Cj(eE!MWqvn$yHQ+8HPBUۿĭqRDž(GQ:X^5VEtvb~^e\FyO[Y/Tض=D8k`jԹh05^٬Cs,P _Rzڈ`a^4lE[ʾĵh-#VJ˫':;iy(<K5\<=m"UVZ]t[6>'=a[ø'{J՗ ˗f40*bEZpYe VDd(uK" 4Ss,Mbz/>Lx3 y35vE(DY#CO=;eb)Dέm"?G:J 7 5 +MXµ}?w jھje6呾 o0j:<2 n ^ xVOum&'nꖇˋ&)*r˜U"H7(Mx_Dy$mg @*掄qhz(h1?TcD 0S&=A PωF NO#SKL j2Y`eBB9C7}N915FȝQVva."Q%8HN=;yYspHR7Tl߅ez c͍ :a?wѽq0ıAh"lj)D_wƱE57Q˜x6$눛h$[a #ܬJ