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< ww Monomorphic_Monad:threads=2elapsed=20.960cpu=32.628gc=1.908factor=1.567zXZִF! 0]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@WdǡJ!;$g4:.P#<'$zTH|nRLo:{/'2SqLKbʸ%rb$Gxxc'̒f,L+ ]“X#cLm# Z5G ?n|=1Pq=AU\e4ZYe-OVR!37-)9$3.}@}kwMT-^-vb'[rˉezu֛JlGwޫJz=1+rz6R%H2㭏im Z( 9|9IMU'k|I'\U}PL zp:%,'fxOg5+sqcF,}AЮ; J/]ԵиVP=fO3f|tsUѰ95%'WF`phs2 L"PvfIc"lj6K^ýU2R^F[W]jHVbO?aI$BN?E_PQA>\Q4xf6JK"s׿A xR@G:`S^P߈$:1n8~Z̄^$-% Ã.첔,z`bUnE2tuMOe`&ݩjnhuhCoaFĉr`څc[xa/qBo֫T5H}5x Lt5trF?ժ@K1in>G":v_.=f~®j+>~Sŀ,ߟl'Y~}Aݥ1_vb^T8GKv8wN*2;,_J4\XI 8< 7KQT>  B(`\8Pbpy3!|x'+]B")% l&z[/%ݗj;S[]c{M<*! (o%,L0Ei]\yEC'==ܱo'@ބ*-kSJ9Ry>)9?ZAri:jpϵgNuKK*/cYT(A#'lI\ciygu|oԒŚ/ZWc&5>wn1;F.*ES7IN5XxC^5CQKe&Xv3@_8dA+z%|DE.>USLUެX+q%0,X"ny]jFVǣ,Ɗ~!+}Wcg7|> ȵK8Tyd\FޢLe쌀~`9CM缥NJCE(VI#ݭ2$=Cf¢֪{>. [y:Dž6|ͩu;xpze8?TY@+JODǃTW}MFU% hu8`:r >gYZ0ee64616e37177565479368c4c5f56d374d1d53c 24837394dc7825fa09c8fb6cdb11476fb0500072 29faed5f22449255e0b21ba27558435b9a4a13c3 31d068e04edd0d37788cb94803f5ac07cc317dd0 d83b8216582c5d394a8fd429e4a61f1f74d230d9 f819085086da7f5b6a4a45373915100bfa5c0514735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 87d272d7a214823a6656954e4786f6c505a2d5a0 f8fc48259d3caaff1b24aac794aa005cbb2b7142 / Monomorphic_Monad