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 y $ / Menger:threads=2elapsed=11.333cpu=20.156gc=0.540factor=1.787zXZִF! ] ]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aC1"N"Y"cSi9sW?ha]Սkg]ҽΐX:gd*TQ 5U]/(i}в.F<ӞzyGjL) (19oXRa6iy=grx#WDۆͷ&S짝@I|W=U_))b-03}^G6/Q5α^P)xԐUW +Jޅ^N<1H1_ZxQdO旟P}yyC, >bO d:Wۼgք'#F})MhcH)99bǞ|^Rćr9q|Ovf)I&٪i/ _Ҙ2ͭJF:ynY7Q3x\*򫰤P'*gYZ7zXZִF! A]ŗXi%6p8Qںe('gPm$0KHʃ'K&U쀛w+A6" .EwUID_/2cm4H9fg'e#~ gNNu) r"3tƷ~#7HɒTia(YPs)NČ'BRUU#`:1)+A*Pa? }C"+?'by7_`;ej;{-^9_5\8d=?r`ģ&[@3^ò_aRH>wG\t$S:s K݅[E '$REl*SKGtF i=YRPo-VI{lnt> O&qJbT-)۝GoF}ӛVz(f/Y \(%~ `( KƓb:&Zhd"߁, %`J?ơ6)u R2+ڒ:Yn-CE5!*̪WzPxnnM?M1=eiJ]lLfnr GIJ90J|7Ae5!! -Tx>`/uX[;>oؓK7YeG(Lv/N; bvM5ٰd[%. E@w5OӪɳ@MpR__7oe am]CWcTz/B9 W9Y:wzN:635BJ?e2G$[4 Vhb<`hy@9 (s~D*CyrjgFZ=|wXHBI>' tbм^wb=H5}|&[_W 7)N2[rǧ4W>ڣ`z2Ğp'[Z]B(Fƒ<̱gYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 25f683fa730cdbd88da60162554e0e8519fa81b5 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9db9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36   Menger