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  2# D ]% VectorSpace:threads=2elapsed=58.886cpu=97.772gc=4.320factor=1.667zXZִF! NZ]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9nYl;q'f6NҔ>lo%朾Gq9Y7٨{ 74' G;mHzyXEmV7pdpުisIk0EJ3ڬDvԝW@HM;a ?j.6zW.,?rR㍇<iK.6\<̱AM$h]cw4,wM1]u$} "n۔u!(gʍhekG0:-r.ʸC~-E"_I=J2n3Hd @os)4/^}VA|C!Kz,7lkMwsc'oF- {8QI_+!PT?,A1fz*')geR`ҩ"a/PAgt`0yr+"wg^^>ʦaKDL~3aťR<;ʤep"1NYk~ps#z IrucV<VдZckT;RE(jJ_<Qf2Y?$+Rӿ\Mh:G\H6)e=E|yJbS!&^녜h1UB4mk^F]\l*\;=ύ4YіkTB~Kh~ښ{.˜F ?I=U FE[U!=9cKbR]lyA;tU[=" Sr͇>zO=U&tQ. J%1D[-U …;jyHHm(=)41(N1;AɇĠ15yoQӹ c16}We ͵ D&NZHqZ CgYZ7zXZִF!  ]ŗXi%6rr8 ̭Ħ4 mK53e`ͮ(m}'hU0S}|Rdx#Ttg(|f!Ml:3a +Cj R:@Rp轿'"9|^Lˆ0p[ao|aM8zpQU"DKU!nrzk66=ԺFۛl\_zJ7 eNG 7AXk~xo%ALs3-Ɣ]9$Z$]=k[ڬ:mi.X64DA>qE<Amd 1l#MkBxD>UaKcNkA(,pm"#8žTpw\)|ϿsZÏz|5~]ujCgD亦y"M:F(LtO }&aByH-F-fz9\=K [pώҤ8&nUFpvh%%LE˴K*.<>قtSDŽw@Z{y|rs[d<J]IT Ԇhq``{Z| T_=珄GwEW+;sTu8P ?;5OvN q&$"h׍پ~o%.vejkBK_:_D~5E" _F>3|"#~͈d f@є-,l) jэЬ%ev;xɈ`C;LD`~4mg7D`.\=|wsBb'XRyyIuDϦ$ȗ RiўeZjӞ:u H`ֵ&yÀ莏e*0mk[4mEfӔxϳ^*U[(A.W&l?w9\zĂ=v4NDn@sj dFV'evFp 5',;|(n"IB>nh+tHtZ cL B.JtehD`7ri %ȫ@OZjF"Ep߱û9]+ga"3^h'rHωG=z)AYnz9tJ`Ue1yk3 PWuDG#c}1vk f/U?pZ ՞iTñ / >权h4l6j|]3RP궞mk6m#@7 T+Cab>џ3OX-rmv4 qevʒ;=g+w%Aq<=[dk[!+[g) .|u!/m!'xTΞޅؾ[j5q ]Z^a.hƦ3pHG/`# "~. 2B\l*3JM1>qqC @SydC[$ȏ8UCr1["b:8σe,|(8w6tIZoƍὪ{䙫~ԪRQ(XYV_ES7~[ hztA)cֻZ(-X½I8ݤC9:7]}<4RLHJyL'Zu( ZGQ`_ȹK 9u^Rڠ6(.b?'atxܐ>qߞ?.ٺzgW3H4ss $/rhs*9K}hj (疇 (~l}S8y Wߑ]Gw-Jv/ ӽv2ӡ^`']s@j@BUZS=#Y6T@h d1bwCTjpf St0(yU̬pu!$k =΢hq6b|a v,+/Q-ih. 6܃mpwpTu؄]e&(QMx$ڊ g9Jl*~_0:W˾hRdP )2P ;AF?̫BJu.sZi,Fb[YzB;(gR?g*OLb)β;2FϦ 0Wi#BaZ4,}AVfw%UHxG]B ,ƿHx5 4:hCmy1Zҩ8lx|*#PeoEq2ss~z},%%J#