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 [? d, 5]HOL-Computational_Algebra:threads=6elapsed=31.339cpu=96.904gc=3.920factor=3.097zXZִF! -]ŗXf1-q恈aldC>14aUV#/|) jUe!Hpcv`8/wyis)xrnܘ~ .n&8#dˍwf\`Kx:kA#b/E>3DGaf~Dg/h,t{](9;o[m _z=jIiա ('5lIՎ]As֦<1k8n4Njo7b(j_$Nt)z^)Lx^O1HuM;RdqPSĠVJy19~cXi ? HOL-Computational_Algebra9V߼Ȣ,[!v\R|7 hRw z57f}"3{&5?g8 0ȀFHd)PHt<ӟuׄv[w bɟp!=&O̬i/l[\U[]\~}J|pr%ɜ|ȳw+$*ґ|| Va8y˾]ɪ~BE%@Tm'b}pP~2߉Bg9S07= uSᬽ5Rd%Czvӧ;3\miYPp%18< 4a+cJ.vtQ9o/h#8I p1{}?u\1:?i2u˵&HKV9fK`ƀHmPs\;oQH!fĮ@@X9{+o)!\EhklrGHKbH;5Wع owm.FC^{NZ5/R,=5ɔ~=ic`L _PatgFQMWZy5%BuH ]8 yVEb}`6)T=J vP^ݞ2oȻK['t(w=ֳ{PƮe{kJE 9:uzd Тyr4J}JZO3PzcȲ Gdװу]y *#l\$ wwIH+Y1&_S2Uʎ$ ݢt>1"g4#]l璶GZ%qqXow_1:"qc^+'^ mQ [DӱgYZ7zXZִF!  ]ŗXi% "wq4½@OV@c@QRopWJi#}"yvy~a[[a*ʑCf@aRϣY]JCM1?/[ z6L+*A72 3T̍i B+nPȨ*gT'o$^zusP UcUAZ`ݖ;>G9*_oI*k9uQ62NVXp俳d;c񧍠N6_F˾4]ۤSbk[PYL1`GkLE{7D#>' zqCr)ߠpPF^U|P1z(ΡE♵8\!=xnxSѨ{{-ah;M٤@V>.t}ײDa<' ĶVԪѯւ/MxxxYIpsY"!6\>6 e*m[U"ug$ O;E$ad*;;L w[Xۦ?|~ļ(՟%t[bT-PSə 2Z@DNp@+ Կ=>ⓒ=fTC9^3me"dwVucSklZױd \Väy˄tKWިGl!eұ uH"XWsi"Fs&DzL$R)Wtm XϒI`i(~$o=-(fN 1[ ^r݉qa()4H:^5/Lі{NI NzO| 6CKs/Uriu24Eiqoc>æHn${~*H' (Șչ-\KtO9R{ d„ Qn@(t X!7WyV*ݿ̢ o 4z q;4/8i']IA;E M,~w0A9ll\RH?R u]c@r>T\LUQ 2W-`T(fjqha.ۭR|0z* @v`O{x0X1W9ۙ E^D,86Xku% q1&]+. g [OAgOf50goM] sjA:0\3?> :+ @kѿ4eFYť꣇wc@P9`&Hў {3\&w]̪: [;ʰ^{Ema)n9Z|(7=5 =SU%w VRҷeN5F OGtE$7=ˇ:(?۹i/%hlۇ?pᣅc`,i=BtzkvQ'_voB?;eX.1Y:Iso#uOWM ?@,U*,DV?.F~#~z =ѿ-;~m{9`zZ*8DzG'm\5Ѹ^Bޘ͹V?ggǘLJ:Җ"WpznZ!=rߏܼ:͖? dP󎩨Z7 ۘ;BXN^z՘j,+ctcP_QQ+S=NZvY?/R{ ̀k*) 5ͭUoQ)H"%3֬/i# t}AԤHH Sw! )H%=L 8D0*B$( by@>m)E:afXG EE߱(^h l!&Jr ]*JD$0@NnRΣpYzDZT  j; n6oM'bjIZZ<92!"%:կ