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  TT _/ Datatypes:threads=2elapsed=50.092cpu=82.484gc=5.664factor=1.657zXZִF! l& b]ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^5̷f:*@Ҭ4rfPY C]aA^gSr`tYbي_zyxuX־tgH%Z'Q;1/s.MѬ9)EEm7Fo   Datatypes 1b?)ׂQ4(犏䬦Ol\F/v?k[EJM:O$u]M_EYD{ط8T&61\sX]BYl :F,PCI7AjRjy/n/c%C}]X!}ZX7y{ 2BWBz!;Gؽʄ(;`g|1*I $–<}93KJ(U?`PKFQJn[[{FuJ)z R1dKULe9 UXF7:=} DւQ%6ڳ6n*mkE_U6PDVl]A/*W]4؉ZʞHߌ:/9t:{kuё ^"2BrBsj/LgE 6Q 4N' TVeZS)&E ` JUОԈBeˀYrčpFyymET |? !>9H^2",?{6hKBݢ?~}n& i $G3$G?Jf1&Hl3?B^V{( `t$wJӮO\Ed5ʧP IGAߣZ}z2Ӝ?ZSRi!Qh~4D.Ұq%5+$g}p?>?*Kt6~pGsVV=g$V"vS(Aưe@>:I2)ʔ ?jOiN|pߺ&qЎ!;ar"y0VrE'oӄ\\,Y]{$ߊ F:i0]줜1#~AK^HRH{Q'v`i@ѯh`Ob9\?b҃=@TMKj6;EnJ`m5AwT(T*zF۴7F1ĽzI7fg HChF1XqLSAHOCՏfJ1OI6oR1 leDǯԭEk墜/uZlm>5Zj؏z$<橋̖$@C^CtC*n6U`ő|.p7٤So>'87֥K-.>J|+@SERF~tbcӱEҌlO{{[S_XX]L1?HOJ~ePR8EǀvZX o`uղ8o~s mQ3 orbūvb҃+H|yaT0G F;Y)˳K,6-ۘ49aÕ/OeCrqVQz_A/慲W罩Br1n(9RU)ڡYd{׋ 5}9 7~-s AK4 XIGL>>;/慧h Z+C %o7Kb\.d\#ۊ,׮QZ}X  RtPWULr y>nĎ|o  gY6bsK @Z)>;vb q3#P"@d :.[ϼIc_~]O]/dc;b w|Ċ݆Rq@C: 7-mjyh*NPl99{NƐMp8wX˲9P,FSHvɮwC@Tj)EX.{o8^!ӵah{>{fH)&%I~8,20" LqA*RQ&O &K҃<I$G+$_jO@-Z=uǮڻ ܎,Z[jAo׬5m(:w`umoePUdIwrE$"݅KvPPS߻wNjoY7@G'VA֖!XIND+ v>w^ɴ\sҨ M@{|7F6fvg@3B̳ v?޷\fSbu}[{Ӏɀk3-ca /ҵaW~eFَIӄǍrw|? Y:>2aKCWLb_g l,&~~[/[ޚ<{PRB#y6-נnR?`ѣ!cm;{Y,#b'PhMQ|Oib`=bɁׅ+_U~<&9-9!.q2*"ly[׮ o98 1IGFB:d^X8C4K*znrl^xc;Y.p盁3O PܶAqo)V%IJ&u9ئS5о<Ɵ54X0뒈Z~.8o6o I$ _MQo"siio*6O]C!wP05n5 \bQ t,HUwr*{H}V"N|@)WN}'`SA5S 󃃨J:8э\= }'÷$i;,ڄINzGC 8a]l|2*lvKYnx a"NgY J=ifR  U3&LAk" yl+n+"xgFKU~*3N~tÝ67Ew?