SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 Z? $< / Inductive_Confidentiality:threads=2elapsed=14.972cpu=28.340gc=1.436factor=1.89 ? Inductive_Confidentiality7zXZִF! r]ŗXf1-/6vRZ;P| ^TZ%?i_}~k“o5ql Ca_SkS7׸3Y2 J(Ht;ꦱ Z_/)fْ*ǵyrp )$!ޫ%f%;LI[ k ZѴڱ+^:8=+]@d4.H@ X3:[PȰ,ce1ǍN!^l Q {zɊ M%*ΌEsl.JP(1o2"iᇡufu TGֳmu:qd~w$TC%B.S|m-ԡg/Fٴ8m> pl( Bt6eܜ,.$ xt?2[6>59\}ʹHX.΂ŰJtn[uzM&Ywa""hĸ a5t#?lK|~b$jTO׷rTRgXa0d/[kyNR%[t}p{o@ßW:C YþrD1=s;ӄq椲-`uxWֵRÙǎO=kH[D*Ϫ_+\*.h6zYvpmJ ]fh\G'n1Lc`z){-0 2ALM*Ȱ,:y.IW-b VR_R ڥ*< e. .)mwt =5^yuXj=>]Ia/&*ͮQ 8 .DwUl3=X\g,w:PMe3W$XO*zꋧR&ɜЂJuC_S:Qxʿ-*UȓPy+OĔ1-*=:{Qx1fl?p~xBE33*cO'İ'a:3BAq5+"=.$dT_ ^$.Cf>fOuޘ7\k`.ax`mXBVsIeMl?ϑIRv ÈMes?l>oo]%EŊȺBie?l? Ö+,-+6ΐ{_¨pb)] #| .8 PPE^ٌ- ~el'xoCרTߴ65 nJu uQ_0NA-syo*O6ځ֡ژȌrl@e\P )_0V;OGΨv*!@7yT3/U$5ߌ9c7Zg\ I8ܰVj@4bzY;>(n/Gs҈}\C@o ͪ!:tYu6qs_5nQU??|3X vZKFͣ~T$+ le7|k6d1E`ԐD8h7 N 7}1au^h̪grG[xlvI! 8ePBo_F¨Ǣh?`)k*"F)9N}#U&}_+vh??8AD둵i^ng4fB+5wM;3#9 3o)r4풚ļ4ww0^RCx/8ipgYZ7zXZִF! RE]ŗXi%S<"d[arSL)J$($J!,`Z jҧ1CjZ(gpW8<= s\=_LpDCAnWi%d+gn6g%Lfae5ąxTrTz7#34k?t\89ډ{rxXMM߁'$ct vhFZ[dǣa#J&q5WU MYOyٷ3ݔlj,S#gLhߴF#2[ItaYK>M| N>[TcovՉT:Mqϵ*Z ڕ/R`Xl YY(لv/@*[e5hw73!@.:_6o{gq"-ד ifOLc2Q-_*n"-t 5ҒjS>i0虢z@^%@D;UcLo-,]_d䥝ÙKX/JOa86ט?kcX09)䀫i 0 6 f3-;߆(-*%@BN(E˘/#>