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 ll l\ ] IOA:threads=6elapsed=6.995cpu=28.612gc=1.196factor=4.097zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K6`̴5nIh6<{kiqe$ĆVsF;({ cz#Α $QL|vvLcF98J^U @C" `^ D#]##VT|?id1P!9nU((BpR?4 |aex3 -k+kSEg4ɦE!B Ew2sr&_$)!H֔A:SdIX ׭ߟソ@=zGBfٿY-:`y`|I<U/hcx'i\U$>褶Pʠ\K;8+8%BdyUcT=(y 0ҝi\)Rȴ(:R'6ME>M9G+x*4ˆgYZ7zXZִF! `]ŗXiɟdN'LvH۹/W-mcƟ \! hn5/D''!vZ#T^4Cxm+/܁.1Ǎ+4fΨ\֗}ϲ1[`+M| vW?+)8 I1T'D;,i]b>)55Z\rs fw%⌬t.Q}^Yz?=@8//@ cg4؟ 2RQkr?G1z9U|iWWۯe%X3֠OʜXF]y0UK 0쒺/2`CȈhr/,jꇩs Di|61D hgYZ7zXZִF! #`f]ŗXi%90Śj-m{6<v}\mvA0it ~ (KOa HH"Pa#|(ʏF&dl^cwuC7 $"*lX(T>-&H7jlZ\H&P<[{Z33>XءibO$8tŚUIxzvV#__"cҵD$MwKM$)RX͊}oti; ܇F`|ޕ 9N*vRܣ) {)u`+ň[ !HS)m:KOϼHO X8α,.ҰlC2>d<ãڥ}%4l_ي6()L# C &QΊlp!˴l*If{N=7=,.I9Q LŲL2Sk{+!:UvV TtW|ҘMԭܛjy/iY38A1fG&edX<}<,0\<%g4^NLL!OBK8}f$@߱ Od+Io47˺#\e|bD(sPbEޜ!\H4,A`l.,if/3o@aws`/AUýll+*~M<q4Kr|B,@:|BDOyO{{mJ