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   c# TL ! Shivers-CFA:threads=2elapsed=30.425cpu=59.164gc=2.672factor=1.947zXZִF! e]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kKz;vMei>S~T }R'^PǢ868LB倱edܡD0WA <8\ .~d!w'g?O0iw#9_N%ep$j]_HHؠ$ʿJj0)6{T xx3?̚[e=Đ5$,chEOwϸ`%FFh$;lt6*xO^)ZP0eֽQS1> dEKMq!ֈS|o8Y Pjb8C S3@Hj'8c]+ 3[j)̓#2  2p}LaYmŜ׭kXP.߰r-?br8@X/%fHĢjAywX594(U3WkQiY'̂b,v́J;3AH{6 FG# ST(ccJS˚@^ g;>wǑy@ʈn,qYEB׻~MuF jڣO. sƦ3otc5.X=, ^ô-Rz!"D\; E^PDM f,əD'eAKrynp. ITx?ګTu`<"̎uƢIOLf1kV v8 @/y.o+HBgfψzկ_"A'Bc Lq ST4Lrc[6ZHpf ^9#yW\1460CT"w(N#?O 5~`};ۓ(%A{w :'j+!dDs?J%ejGհltw8 x*1kfTBNhh{QʘI,)tbk#zA uhJK 5sU< # Shivers-CFAIae&r7)BZcԅo@]4%U s)֮EFB{|)p"S45-D.ڞP89KQP *h&Y.0l"^ iC=RF2?,H \#T{M$E"6.w=vTpNaE3^%s4 AY cY;aKmY!zd.f?96X%{4#&_0Blֆ~[͆{QJL0 .UAq}>6͏?K_0:j B.$AiiFќtzk[uX Tl#6t'`aRMKI 2G0(gQ@pv 9 JdGB0fw}; &j<5 mm+ySŕϺTS·/+7`vn~/L(q3_MO.,΀Hˆ:T[2X( !X<SK)Ի𘒪׸I kM(xV1! 'ޞZ]M|DxHEg&o;ɩOwXideMm0R%AO;p,1)c'2%7ps5^3‰g.jNj5>[NF0)LNMV.&9)t8nc4OA/F:(@X&Urk@?!ԪEvY a`V e.N)'秎պ%i]p׬vG@EKmǤM~,M2VY;.P3 'Eۦ@i0RR]]vꞸAmD1{5'ݐU̿ YT6:cA$>H: G!PDRܦ/ha]E>ed"GjݏDgJ W[;bȃ,^@;7茀5nz$k縷.YY,ѧ,[.IhΓ4-t?`-UJ{ٵx~k<ꃔE@lN 1[׽ T_ePz-nw04hn"٧]UGa@-$hOqf )A` z}eZ,*|.Y%H *UJVi*8De>6 .נSG@Ύ5Dr|$"SoPA? d`2!5vgVI˿CŨTDhWY&7#mnmAګq4_C{0٩Aj]礷S! X9|UB๒K,Z` ؇М>ALɏ1-+}4D)vYbJȱ>4mzA%˃Y41Pqp|[*tlMP.UuJ>=䉚vՏ+3z;i%vY}.853Nk0ڂ,/:kAޤDǚ}xwW@ "n8RKB\N O$zk eo(jb13uWf7tW;yzPtZY!xW'@.lŌW?%Qh4BCNx blIJE?X[VbɶUcA!?,~&R* v<*8?J-2).lykeۓ`i:M?tVV.o*(bs #*"JύSzR!%W5 ' )sOY,1~}*!3t1'EuҞl֣΃r뤜M]ѶWMy3='(G}U'P<,ٶ]싱gYZ06db41cd99a3feea3979dafd87e52d604ebe18e5 0e4f21cb9dab06da2eec0dac39dcbf8b7b648c02 1c4df5aff18b2556fa0a3f0cb15d6338fce3f6d5 210bd273e5e5c33f51f3d057f08522329d662ca2 36270720b232579f69ba6b87b64f61d55e603d2f 3997ad1247c599ff5ca5a09326a165d755ba9b8b 430cec80e0babed6f48f771cdfd56da08af74fef 5011eb2bbbf39d20db72ccd4149c5e349fb2d4a2 654534196c6693475ca0aba17654bc3d23d1343f 69b4d87e9cab0b856337e17afce32c08395ac7ff 6c6607ca20170066c10b856fd51d872958ffc1f3 6dde1a768ed51ee660f9d0c973065d218ae25be6 88424c39b97747ec7e684c036cdb82f15a469a7b 8d8c4d42a52b4e573a4a7dee9ad789b0d43b6272 c374aab54040bfc0f8a911750c670fc1123623b9 c391270aa9fb0f87bfee7786321d9160f0dd60a7 d81aa5cb392558e0b8c86c49c19b93cd6b737fb6 def6af8aaec3b55a7c501f2c82d3fa9a2204a46f f9e361b0d7f6ab3fdf32e148e315ac6de04b8a2f9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 794c13dd035184cdecd1fc3a019c461070c4908c