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 W#487cQd$D#^vftwĨ82,½I jCۤ&ɮ".79cf&{̝_u-֎g.ΠL-Uiwqc9r:՚j4{$0"b4؝9'Vl/F8d,x=+x×-N5t}^?zH 1v=Mh+MPg,iEH=oʌͯSV/%8뷥/,9@̅!!!( oJV(`>0XEysacMD&M{~LŜ_cCBC@,uzS@R'b30#ϓ\GpGUejSs(k~L4W:W7^N!NQY$< Hɚq` T*0 |IO_?p,>ӡз0Hg{FT@K1WOY"3b$ Hnl{I ұ&@gcӉ.1Z]y?h+ܟbVp>K3Az0Kƫ >Ԩ{ l]Rns*!2iD(OQ(W}:.bo>ȀAöb+n$.nb>Vq*qrUDұ" =hY't-D+F4zuDGtp%j fO},gΤ7n#ICڱO 8kJVƒXIv_zQ~ ѱgYZ7zXZִF! ]ŗXiɟi%3( d+%jh r1 ymLFCz՗"ljF`.0T4[pǪ( Ny= }B/-:Z=T7&pPM".Oo,mшF͈$ JdHW꼊ϦV ʾfqsxܕU+2+&|:v%}χ\ޗ,9ۥ̽X%c1rp~흾һN73z]mG'Fiܪ1Gg$8pz7m?)F1N_/)]$ CfV#ɜH/+]qfp"ɶ&ɝ['@&4G躼[U1ې#QM剼E"^Nb<\wVq}>216L )6>D$lR7JY-z1y۠+TKI9 ~Jgwj''93^kRfqA*ekxS+TrVդ+)4[xg| ^"...NR&1YW,t}܌.Yљ-PvN$2&ߖrfmR~8l:Mkit_}J`ΎPW{Mo{\ɏ;ŢI-E_qU!J ,FSQ}}:b8SO]">m5&9>,_"eD0++x9|!pR \ɭPStc  S #AM VťK[T[1 պ&KJ7&<3+ayE!)Ɂ>nfb.QxMkTZ0b_gd1[K6(-vފL Ʀ xUT[H*kԽшEKpcR0lYG!w8\59BQ bCѢ1h)poీ(Z P98|t >֔3+ӹ@{jx.@,w3~{)j1lm"C+7b"m)Q6E2Wx_UevanL5pWGhAs"1N-tOCǗd!"@M)+ D Iΰd q&+Pδ{(р :~|!2ccA$F[np0.>5U+4I0WBKmL8]6@ݙd\yUl|HOkt*~Cy5_kK7V^GmG{mr u6ƟU>ŜUЍnU?՘N&D+F&ke ΓJ*qhC)4&{H,Jm#sCܾ֟8%5رdyARhJ*h%&EA:щR*6Q#֒,y \MDv:7K9>. Ym8K2-}47PO2Iı39:e̺PN+ H)LT3 ic壪2DfIdU5%xxj$8\!U\4$A2Q/,,;>궨نefvї]Nk2c2=;E0#TUh9YeF-A1&Ϻ0E_'vewx4(o}f  Boߖ\O^ioǢj7у)Lݍ=6>J:;CJX˲n3\=Z4QX8HUۤz W54 OJOBNBpFњΪ9( tGmA QMCUĢ%bUhUX ;m.$"V~%^TJw%r\:AZYk@|iODc" k;LΉ"Cν{WOkŐbGyGIbFCX1!WÆUe9{ج} wOIŋf-oōS#<}