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 _ LVj4O#;~|.3FaW(RŞқ"ȫK> Yj" w_z+"ppTeAϡ@@J2L`0|*?ު(>@6xG՝zVMt `%}  ^PU%a  @=8}Eo ziq_ 1kto"|@ p4[+viSݖwU ,wj_Ȣ#> "]Y32̑hQNEH˺JV/M1No~:Z䋖p>|s(~MQ0]k{QNt+|Co0-Kڙ &D'N5&ᵙ(G5* aͫQ-!)u1k]C%ֹHmo+$tؘ+O /n ޙsePNX[i^ ז-@hR9nn#nn6%j\T2U!:FGwAq,9Ȋ) "va94'SEs=<9cT!V]m`Q9`b zM<)(\\-q۸Ѥ'~PVɝP{pii>uDR?­.<>G*lӿܞeI601пsJFn*>#u$6fuM*9[gYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]ʅ=#*QWVT b nmw0w1u'Br18g^?FGsg%E~=F뮙az!Jcp+4T1`əBWzqܮăQϷƃFBwG"YT>(Fi'G4:~<-մJkDC:ZT/4q-uiɰ;p&ha4dҸ?'KEew>ideVB#-e"~|CO.;l07CWzŭݧP#ߕ6Ԓ^rxvS%`@?!= Dbr+mz)a,`̬4M-eb.h/:!]Q&:ٜ'+T RD-JmuQ{e@ntƟ_}C ؀kx'~j%m-k2mnV0tn\'w)PgYZ7zXZִF! IP]ŗXi%;cUҏx4Rg9x~RdWT+ wz%A'4Rc4P g[|5@ǴnQb3 0; $<>8y4AX}0S⇥SꈝBtDpkK8C$_PX w]4Vb5!(t$8k%t_;ˌ3c)z$zhVOD^x6/ &LP5#(["Bg9@6ʌ6WQ^mB'6X8R~n87T}fazEp%xG=O_DЦgɎ뼗BoMӠ1~ZyYbuԖ>^TXIHQ"W0Kդ:!؃ct&Ȥ8~ho% kL۟Ҋa ,BlrMS>.v5t7qD?R)S\vΏ'݉wA[a[ERl::;󊓼Nש fSŧ;͚CLoPX%VΊj)L/*II> MWa;vrG_bu Hn^I\f#3rHʚUNCSI,ы袞=(̝1YW;%y+\ye3L\mM m^wxq7R]IAO! v@& YuEES^@1FuJcDOMXCnAZ 3 ClEҺLa(vǟK,Dr`FR.-Vv91roǝ*='9!]_mFreܼ/(+9YC ͥp/?UN (¦4n+@wT"53~4 EJ?&bItm\=XԊ&3`ľ/rNM:M~c