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 J%dT S MSO_Examples:threads=2elapsed=78.645cpu=129.968gc=4.548factor=1.657zXZִF! +]ŗXf1-/6vR[UWdT-]!"C+|1jW.M#OOBRyc()cnwdU g1Ub TIo\[Y^Chg'> viϞfktd=vLդs0hWue EͿm^4c7WjvQ-b-b/HUe7=:1I2ZS?gYZ7zXZִF! h] % MSO_ExamplesŗXi%6FW0[Lk\y/潢SXMmptrBL=݊mu;2vL,Dlia*Fyռfsmߩ:A*D 'fIʗk9eRkҒ!<y4!gͽmn*$ޢ/~H = W!z尡xb#A8'K 44a $jr@LCY2l*}ހs%/wHyG5oo/D֨ΊBf8u$oVOhZ_|1! F.^> r["7~1r8" |eavUfdg͓0RS&97+MLJP{7h ȬA$sQ1ЅŪ?rHEsK>ͽWߣBK8Ws ].!.% Ib;AR%۟d48BC-軅")Amݍɣ c#E6ś ߅2ٲ\l>GqǺ4-~޿=I}XK>ꯂ7 pxõS㏓R_ej ӬZWz̺o' ~-,e>Lԛ,KԪe۠Pb KDJ'ܺ,V/ǩ{3ԈG!K-7o0k\5%d(}iG}U \ܢAes6kE: LPp g3 2|' XI+V z[\3@_:6|sko Z=_^wAt޿9H&pQbWUzK!L:4>2>=cDC-X7?\4@>XI"ÃKi[)<|$C&n JKH&DcnɽG# `V |Sn'7= 7(bLtBZUyE2@#Ƚ)(>0*s@Wk%kUIA9]Ob}j)7w_~PNU>fJ&IF~ϮMs Kv-S?/['3N m@"2t̯0t\ј2]mqoӇ0Pfulھpl SӾҍs|4'ٳ}6 2c`Lx o}a<ՒĴĀZ uSy&Bh+;CsYNnr_;,$.WAl3˾hGf}&LDžɫ)8ps %j]Tn^;(G|̛\g/mG9ozāO,-ڼp;2- /͔sxgӖv#Rr 1FYʧD8LxV_|6 a.c2>(Px;%p$'Y1<.$:0kpr؈ʞ71?VRoDHbǖI"P>j^[Z,Ȟ qGKED v\49z<*W㙺"w^&BGu7Ahd"uDrIu;m+?^O%Sd3;?|j_XRP M遛nm:#8GhQci7DL`De69 M"έ: _*+$WLa{Ê}`D9RellAz))ü[md}Y1R;VMmhڶ\oyI)$00e?:u:? U5P3ۼb .Op0=x,( tWDEe.5dٙ_Z4D:dٳRD Ȅ2m &'fm`Kn~`QJ+N⪠0 (;b=){Q^:C$w$o 8=Q[I9OXFBR07g"ېp^R/wc!P:JCT9=+H(RW/|!Bd$7'yOLjE>3l;ə BVTye'#ϝ[BD%wYVup3יmDrX?X =d2ボTh"bw'4xXzT'UJ;צ6Ȩ\'crLXM:.Ii{kf3gpgk0SY! ό)OvFɉZQ[lΖp>D{ SϜMDUաPElFR+J掸P„JMyjtP0ƏЌvi F1k#[gPhH)~"deJFwb!f3qqKy.na1v׺ꌥ5D:v9|{]eDbbzAJ\ܜ;j{VPL@/\g~J^/Hi͐W-7߲00 z޼Rp.cTagYZ1e70705efd04dbbbedb9a4715f0d34c63258e9be 67764ef3aff652c71ef813384afab8f7337e32b8 d60e6f1b237777f66e8532733c0c11e9c656e7a2b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 63dbd9688387aa59845a7e17d731909b0526432f