SQLite format 3@ . BBh77otableisabelle_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 L lT ] Corec:threads=2elapsed=47.201cpu=71.260gc=4.756factor=1.517zXZִF! m]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$\ܐ$Fwz7M#nPx~,>7ea}}ҜJ"X2 j9#+gQBn!W{~֠J V1A[]%ew& ktdz p"Paڕx\9GTw 6`RBʹ'ab" O ܏ŝ%NvtÙ$RWQ_a3 9Sh}:pWYeX7l" @7aFzY\fұgYZ7zXZִF! b]ŗXiɟ&zLo56wa AH<p]PQZf9nOt)r4wݐ=鶆@^@ҩpjr*>Յ9mคȴ}|VP.a8OOFsv/Az'-bּa)r|XѮfď&0Zn}#Bpj:m+7o < bN4 Nn[`ݸHZVgT強4浱 6=a8ۧW y7J"&b5KK$=1_9=7 ޲Η wbu}a;mB+7;r7oa̹3BI*,n/#LHЩ0Ljd9HQWQA#VvU ،}7AnkU,L]QJENq'2@N{<U:NGjej=VQ/]sL0W9CSx[ȦbZT4ʄ wnha3Bu7.F'_qLWfE;m=b:K1V{~cV }/ǧgWUp} Yw$/c nߕ o҃[dYv㐋ռ;R(ő@j .8=i&vMﱷdiN"1/&uPͫ F)$#v~8+Vt̪k7{UXXhߪCu*<x)M+ ֗jfn誦g2x]rVZIyPH/b7Թff5\[e_sS[)ezJfGO'9]ڃttȾmZ sn=7; I*e-3xkp:ֿR_S+xWzX^8E!wQ ܵ>Ǐu\Z_ETPs?axT^ŻcF=u8L#MN/$%+12O3GH.>}xsM"ݲEgۏQK![zZ`0AȤOrX%:m0@g2L T݋?4p24[&s16@-_^ga -A'H1:Ԗh.qDu,ozHXpQlq fŢ޿L%Fd<j?I/ppOΫH>385Q-v rlDl^&pzeGg"<>^MReɺʥ6L3:] 5Ng\+:I+P= ]E6Rp)Y-obwkE.7XB ]>0D:_d: _Qu+ :Mw@Z wFfPUA]!./|Ax62G0:T%9k4m`:ExʱgYZ291ff23c77e1a9a7abc7e16a8bc5ecfcdfdd31e47a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d5 0c6af15267b265e8188e286a4be24f4639b3ee7b  Corec