SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 n dlt ]]IOA:threads=2elapsed=14.548cpu=27.796gc=1.068factor=1.917zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K e8b勳JͤdU/Ŗ<$נoܳ׿^|mCU~vv.ٽ^l3bRynApuj#CЄ2tr+N0b^FδJ2 _ Q \[ U!HCYGhTt#XWO_쳿{5=X`NئlZw4Mf \qR+e0n2tWňn1ľML~t~kjyfUlBL&Xڒ2#w3$fk?QlzA04hed{PZI +0AM_CVaߪN =@CM5qc0n 0y\De>VZIsqֱ[9ﯢ6 c=7RVI6E^[7(/JAxDTwuo(Дx9 xq]T/_ ֓gYZ7zXZִF! D#3]ŗXi%;(`p=M"5q> Wޅ_Nr`_XRD1ƳYR<{+o87rfX8C08[ 􎫑2'&ʲR_2Y8X্Ž`ե 7lK,}.&{ + ^F]HHi4v*d "Yxre_clg1>I"6UҦ߬x^*T=Ar<'vb1nG*oą~BYf&<m?2'O^e3@O+Zɵ*RZFw}^eń}wP>nK|$.S Tr(PZ\6#ab!(oJpͯ/g#%~KIS N"W\:%2%0"өoP}g2pѫw. iIKSw+,BA(B:.]y$2}رaTJa2 \Q>1 T;JY9@D\s&Y")q`#r1=]auSu]cH r FvHn7 we)eShoi8Sf*6{jJr%Ew%gKC#3k[$P]ynf{,O0cIY|-+Ý2aż 1sP \%!UI5{ *l#pYCaXRp+$XC&tՒ^0:m7[@U-ۄ0jWj-k>MO;\v%]!Syy^#^B^7=aecS?0ė|CVC q'W@OѪ