SQLite format 3@ .  YYQ77Atableisabelle_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, "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  _ _ T / Heard_Of:threads=2elapsed=44.156cpu=70.488gc=2.388factor=1.607zXZִF! *7]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`T?'I28s^ }@"?Ԝ[{H7"tvR bwPƊz瀆46Ӡ"ja`pSZ}Jsȉ,I.N<%G:4n3rn֘D@KݤG,}cur-ˬ 7,E%`SZVhQRls!^Z\ (괹SLqlEŀ|=vՉx4:K*Ua D^#YR4RA};s2 s)0e"uS((X;f<ظ߂ď aBx#ᖴh)MDDtb nɨ6S6prxyQ]kv`/B=ʘ^ :.k`O@v]m| A@-ڝAN)%5L.?/ 7L[/L)D!:ۑ!ؖAe(}]&>{ ms)u졝a]Wu%R T9+It0l9hd,'?yRy|,͏#j`=LQ/0xCr*;,A^4jR5([)hK~yi ( )}QbNd?'əd7[mͤD3o@ ΧCcxa#`L32G:WWQV@Gz]t ":u ĢpRU^C4FQ9_0憘DWڎ󀦑1q?uQAou1y45T) bmy@'k T!ZZgYZ7zXZִF!  b]ŗXi%JZ:_ ܕϲPcq}j ,_r {+ZM:E'wCoOW3^ŽVQ8ݩፎs|SЎ}ڒf8kkMȥPOl.2{qIx%(= HRs(|'[.zW oJEHB;{#EDz^]Gi̓\#;wQ|7L<~ƓU=ir%טs %W]pIСʵbMj}c,7g1#k.xvZ&` {Ƕ/%q?ƴ"9*zG8v%%&MBj-HXp\@VrGݑU$nVh;U"otFƞ5 J0^ cix67xI |HөfI1}f<3ݗ+>p}ٚ~|q]Y"`2,wŲGRm (r>.FKKk򻿧>zzmO HvrxC>0z:"cJP!X(T|畜W&!D5ǿԨXtY;n+~w 6#FxVKYhӑr B)7sZ 袼'5)A-%+Mh}t8wӔwGbߘs!I+>c-)M# Y{4Ap8"&N;NݐOCՋ< õ94v\S4dkX i3dQLSށs/)4n~@{UL^`6쁻&T/Pzo*j(mI:2>um-HRJ216CTN W|twbG䆡]ODcm ٍ4lmGфEtꆌ7kt"^JQFIMd,,sb2X* &RvE.h,Ys#ɣqOq 4n3bll$X+;A_*z91KhKelV_$jTR Y(7+H&e7M9Gj-tq04cmjrìҗǾE8[P;tҟΚX|h<cwv 0d`/v|ɮ?9 B B4 PD0iW/=N.]J@Ce86k|'VG-!Ju{w5q>xtc&Qᑽr"d>"ɯ|O WoJ,+;G֎ܝq'RDMf6|D;vCg{PCeȯN05p=nj6h29iwt_G8;A_1ja=D~v\ty%Z)A*ߊ{O"[ejt[G>Ѹfhmo%Trn+d.>Sy^TA<9?Ji/3Vf" 8m2 "jxO>^TMII+%1&2cv|7H+pL`M\=J(RB\ "Y)*:L%j>ᣰr7VXhGqnmF.ō>[(5 W[Ō)#1b$OQC3OJާlqە*̺ݸQStO`ahyKTy?&>T2 \+)#+64 0#J( byxL]sؿpp%3E`>&zt7:hA?o͓g2A