SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ); \ mS Special_Function_Bounds:threads=2elapsed=46.510cpu=68.896gc=1.124factor=1.487zXZִF!  (]ŗXf1-/6vR[]>hHҔB^Y1=;Nu0Aev`Lm^mm'HO/$gon/xyzRf2uKi*lt[+g,{YDhίK1]s}U}?RVoISUjq/9Q?~ă QnQiRXܔ<^qEX57nFݖy!J9^)5?@>}22O&(JMb7 +,uqn#{59[q deKWEhv&( ˴eӓv|`PV_(#5qWT85V)=Ne|j-{ZuLjdGyF  ; Special_Function_Boundsc*Ѳ ¿46*U]A5Vy #:Yed= C&Ҵqa)IzH"T~  ;(tT:%Vw\ko~0&8:@5$q$ h+#ёNA` t=#dGAF3:1²D2)abYX%Aca'ut`g#;"+4_+moSe*m|YM{ݩ!TR·#o"P@{fuTQ+ e&g{ <[d~Tg Q +.I&4,DK8ng Aw]#=l gf DdĘ|-~ւ53c:sg٩>bSźDL 8)Vqo H~#EZ0CT":w/'SƌE%CMer=z:w3b-x=Ii/[6HPɒ7n(غ%(…7rm?ca>vh{/Pm"6 MwOjijɯIVة T<^L`iI/ǿhAxv^+ɆPjf k0锢a F= @;Mr6p:OXC~P+ڳΏ1.P9xkxȖo~Z00ڂwҀ7. r:Aʙ9?M栎8VÏJDRqVk|3)#(!|%d'AGԎt=W8FO&Tbm4W[23/ͰN1>B7Jix [F+eWdć*벙\HZUQ=n, >>ؾ{$iugutRyZw| dr+Gr͜$MwP#GN\.-1VH09 @v*}ȀRu20^|_"9 g,_ b|>3U}`feh{.̡tc{O[nyzܗre.w]]]Ї^c}*4"1ftXC/g3Q5,h?XacB>f?/0q}&I\grnB;̀Y0(`l5D5+[NǕ\f`FFFs.Do%q@cX( #lc, Ilhjw&OF}ipkcq\t:.OB&i)6X_œ_j ]CHcO|ÒX)ݯG@qzĀV{OW8u/~U x&jYF '`Xj gYZ7zXZִF! ]ŗXi%HO]Ƴ=oRN>jMvrJSud^Ձ.[G#lX4x*nP]kI;ł3H/)`z8MCZ#֭؇g‡yS|s6jmcU६RS1ܫU,A1b|rKaL6#SA0/$lQEM_\Շ@R6l`. ȗ7d{okf/B@2*-/O ūa+%S66Z{XONġWku&UzH?;H-ʎhe'Qk|X^r~߯҈d)-_]ڴݞf,2NR!6)W9hBb<1_m`5` XDiU!Fzsq*˰\Y驑hhN?~TtNʒ䖕AUBדI*QHZF h1,S5(|g_Z_d(8ѿrGZ2Ps)ӒcSQ'\20Iw;f Jq!"PS-՝,F{E SS3ȠJ%FLA/p36X=7.m@.JleY EPy,!ricxEH3bfl箶D3ߕaa{.+ 8+\jjOkfp{l!?+3iWRP '`@UV5 6ssSYZMZUcab[Khr2U-x)\Z(-z3 "],2?g}<}v<-iPҀT\"Z2V簿\o[_.YFKbMFڜętRX cH|0PFϝfQ~"j9|b؂(wĭca9d2SF<RH7 K~)H3,},j!tVgQ!Z&y7:_Kgn(N2*ZƸtVLPͤ{}b*IL-"!E']f3.,q8/ Y67g,5NaX4pcu?t}Y#cL  &y˜eT'3ua,G+q9i9cq7cd!10jD#9c{tzhaƍ#GhFWcYQg/ Z` xq'o*C uP(H1>k~HYRTRdǗ .z3KpH2j\4::®0 c8uqk%>Rf)0rsoՊ:X{i\iEڬ2[ dwj$3eJ}Z+;_ir>7쁧z@~?ۥB.W2NQF#m8dojH^=NcL7̪{^TS ƶHQbZez% 2īnr(RY4tUb;yZ5m9Z `jKQ>_-v"vMFkoH~9כa$&;LߛnԄa=/VpTl]Xs&9eې ׺Xʐj8y_wcy_p79MMH$Ëng;0M2G'Hv*򬣹 rLuVaBN_ϩI%%{0&eo~n%%z֨/L-1tB+H5`.d;xtruA━SL٠rw܆WioC'DCpe˓?YES.WXW:w ^QQǂA'%iXy$ C[=NmA: ׾صoqųa *8?Q:̾=ϼ2mbwA` ׂɅИL0#rއH*H O/'sq0Y+K&gb_XfU{2A!^n"Hp -4l ؍fM7 $47-?F(7\;exTQ] = %{ٻHaȼWoƬ&m=&3.etH 6Y=Ҟz6:KF3˦F[ CeWV7>NP|*h+1^HHjN+Cf'AH>xm;M)|<20D BWse{ rJd[VeRƯ 6 4^@*D.D[9;]4=)& Vnvs9*T|1TmTEf{8.ۉSdQ]^&ձgYZ2fd232e2817434bf48590eeecc1e7eea9a193128 36ec3d919766f5575ee7f9e49fbfd3924d92ef7c 3c7c24926c5015832091b71f773824ad18d6ad22 6968882a9b8b671a249cb1492c0bbdb0ad92b429 9a40a333da26ce6329a5213b1b992cb89b687787 bb0a799777f761555e86304e137873da7c79c21b bf9e55fa9410e2c8996425fa2579ab84c9aa4014 d2a205ea372a1162240c9f333ffba6dd3b94deff d96748e7ae501033e4ad97e167b625c75055990e8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a 39f7845e12f4efd92ee777b85c8b632cfa5b4910