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 ||% L w/ VolpanoSmith:threads=2elapsed=8.831cpu=15.356gc=0.520factor=1.747zXZִF! &]ŗXf1-/6vR[iB9Gf}P9O`3;%{Is`9"PJhquI%bUR~*W*xDHtxA^Oq x|̙_z`[.hxg6M?EJ8S~,Z &Y"͡@q?c-w!m@3#> W.\B&4H26DvE@\o|i!|O6ub+N&m1%X!( I]o67bЏ-1E\X0պ.KtgajɬxR9IXF<î)vBB|> >gJh陗1~(qh-Ky9SHۯDl)#!V'6>=W@M^۞+{*t,#ݔ?bK>suXS &Cr!e%DhC4I+Ra2!eѬ NUی:qe}QfDC%:` [;cFߟI'^Zzc K=WuyUff ܯABew?CD(Ey{DZbQoqVZ*R}D$b'YEaqXz]r \r/S] rnlcT.G3~l \PUh?j]5I*8׀Llׄ%)d-F w` 1=Y@)C4 a-*{j\)yOxMw>NF$mzhl4UM͘gYZ7zXZִF! 3x]ŗXi%s ^)#. =" bsWCQKp> #EZ0=u쿑."ojsΌI[Ӊ8n#r\[?8"0*'!^a%wQomZW*AKU v$xtLlDN'Y-{&NbuvI2&Wd! HILBkbhzA2 "1~/_7ИEZA'-KU蚘Z`crG̲I*&}~`3 q6*`#~-~ x(Wc]lp鯯vx/SN3?Wܛe>-6?UEƬaG= * My|>I3FJ Ti"ӥ  qe7Ԁ9a aSD cg.P]nGNRiܦ|E {P_2n ;YH`h,?DPsQ$tNF z[:$LU15OHAS|lԡP:B^Ur}FDh@S,ZibAO8fuPy!qͨlRH[L.%?9v+vOJz۲ܜх7&a׬:3)x{L~iS, L#wM([R awqe“/aB0xRIl1 G2v:Y}  ;$;0Z^^Ցg+EmYsO;^5h=n[WJhhTv ǸOrH /G BA