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 V+ 4| ] LightweightJava:threads=2elapsed=49.679cpu=74.552gc=2.936factor=1.507zXZִF! C'Q]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷ogMY n_MV$V_\Wʙ(*bx1#ֈ)=" (%#x[&sZ`OFN+s%z"3zƨgjXe ❾lr7W~t삆.*39'uhdOro$ΡpS@v2i#!^zY줪2d|09R6$įnx^lc nSsQn Tz+^i%"XN՜쵁e + LightweightJavae2!Q;*b#"O딀WҎHz1kȜEeu͕5?P=?C kď||lX%Phܲ0q!,p J0.=ٙ[CIjP򙩧Fvd틼Vpp8>ce+1lj2:< uYG>Ab[,Jۆۍa>M֢]oy!^K ^j-[ ǚ]x>5p^2 ظA~RgyjL+:2&T*NTՅw1 qix1/dҋ>ޢb#P+MF mW'oJJ[@"A>Y`7 E5۲'\{Zmvc%ב{;?Ω8 - p'/]kO-q)j(8ɓ? Z~NF=E>w]sTCbPxSCD8[;&B1UYrK3⨰0B-Dc:Vd:+NtA6=v[\dMbQ9/AMEړIJp3Œ.Y6jGzWV:aHe3M=exD}|_iŇGJPJ:zlWQHgvLsK"U1oAxD=ϻ2%-gYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9Q> RS 7X& AӚ׏QvV^7=0=W,. Zy*3'u[| v`ӄ^Ir:Gal"gYZ7zXZִF! ]ŗXi%92xF*ًQ9KRФ+>1{RAbj։cb `[2{-ms.7{poZp|\mf&o3yL`|ivm܂JF u NIVEA#࢛6MbI8$T`~o3Udɹ_h/bǺA}nEn]9SnVg'?eZxCD$;WD럔UTgZlM-N.~F4h0Zs u]A?D1pEv#GQa6$啻i%T]+<,Lu{ ;Q|LЕvnu9+eGOq17fa& /]\/Ak";uАFO3QH5<̴3}x  94ǧwiB.(3ܮs{vZ6“￐5RB/*ي[?2f lR%/j'G [isj-[Q ~Qr5"gl;J{2kWV՟h|8ת!@OQRȏM[FZ%|p6H>9+vQ,ڷaExGS65C @"@R̫dž/{A߃ZâoԞps{P7 XHD]+h+ė"M{~FoBB㬃Jѯc T/}NԃMη5$@rp ֫|IXԜwA2.X/r,x<.rg1,MguDE[gV=ֶ56L!ݶM;k~v%oV]sfdǵ_8#ᎆR~UM &RKT5e`$J={|x6h:N{`ڰkb ygRXc8ܾ1a=VqFݥ'#VO1] cV&W.m !< ǀw@꜡aD8( BWYd.1P{ Ei" X T,v|3+MxV2Ilϼ`+7GkO#AM؎n(dx^R9$ѻ`$H]AN7ndV]sWow (:Wlt"dršpz{+jѪo r3bj7`M(&P&N+znaa \^RMg 轤~zы|rܪIcMs. nrդsodOtJcF͔[*/''?*-u&QFܳŢ@+L%V7e-O]FvUlM; y>^E+kgv<ÐݏC'h pڪiv%~Jk_\T`kV9~ }UlU5v'aI?6 w.,0\᪤5hw1wF]Gfs_Xޱ%[}OXe֋Y.X~JEP)Gl ]ڴ f#oVWd;YO#SZhC ք,eJ}r`\O>dS߸ǖ=)eqE-y89qCW۵ѝ*Mid y,z;lǃV8vjڋxA`vm6<ąyxYq3 &t<)q mtn`l\'-w5﹫QrGZ HkfiA໴Xyx`ͅK+ޢpg$8TCs#i۫fl:J霆EJbyz8ׯ$y)(_Q`Wub;_:FI8J}$\Y%A FRXAd?G#bpO?_nㄟH֢=ܬY9VEn8r%nq+&ȴ02 Ş:)$arwpxa[Q%ۑ;MϳpB))m>CKv*&0SqK$a'dЏRߠ@f1rS-c8?D "#퐊5Cdj7;׭3BeO#c߂oQt<.^B}5x6!hrXCd] ID[Sq冣A8_`&ڶ<.%;-r%pJ;9|JT^`6~rsg1\#m1ߧO ӓVC\Nu9¹{F_UW7|HnI}qSwllAX7l+>'5ttU߱gYZf4a23ed8550cb32fd7855aefa27948d2a28d64690dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61