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  0 l S PCF:threads=2elapsed=62.678cpu=92.272gc=2.476factor=1.477zXZִF! "o]ŗXf1-/6vR[1Iq@>=s(qKgslYN*25ѫO ! }(kcnyZmW BdZcQgYB6^uHSD=fqCFj2H 8-Qս0U]ݦ*muj{YN7g$ڥ6!H*dUiӕAIzexF% ۚ/1]L.7c,x˘n@][wYfl t k͗i2Zmook*>J!AxKoO;wqm8IAp=uڬ7Q<:BBuͣ "mGK3cTBy\,+5KLh[ۉ/M}}fO'Ş7O0ODot">[i︁R`&n3q8 ֔' >5UUHziWv2YVelSD|q6T|NDF>Y(z_a+v7F<1$u`©ѰBmoĔ%i:vn*VqwhtMrS8eB0$./w].PHl6xgZ{O7hKQP >n$wʕKd t\h+EMȬG6?,ULҹjp#(KOLQlSvWHY8H"0Q}\񼹄2p UbZFB@O )E0`[WD[*r{f 'H,L8XviviXPkU@rEvd_ 08A1edhTo(&+Dhkn)v]  PCF%uݟB"'Z SԅoUgg9PX?=Q!ۇ)`,@չy! 9Μ {DXgYZ7zXZִF! + ]ŗXi%64-(ǭжen'xgEs5t:Ңک%ꡄ(Z8/j߷.ֶAl lmLͺodC 3Y#-)tal.C}õb*t@d<F>c 8zk!2yd_?oׄ˩k!9wz!:{6_zTy_~EcMqTᝳWFek7d VUKVZrq`AUJ9-;)+)xw +DIrp_N EѴW]:jl ljQ?QC_/uo#=9FZlg[o"8՞;+xk6YN+{nVa oh϶){ǞRRΈ i=^` yyE¨>5rbOggߧæ+W0TIosOc {>X{h-m%K5 Fp Wf5GXסM uɓy"lbP'G҆da} MAX*YKTϞ<ҧ7l) (D^k au+K$5o^Uta E8V.ҭRman/F V%G{sB 5 1;Fҡ|ت_[\%,NwkIQGo{FZ }r?8in)ZdIGOX <ϪWˀdwn _]+ڍmL2I+R)mHGհV@S/\ьl041l `рL* }֟C_+ze'*p<9FR,[e?~{xKнUU7ycO<9İ%C p5=_J@oh52ێ.!! M~D$9ra|qa{xCw_׷~Z"x@jE3`#"}z([dRY:%վ#T{JQ[pLRf)0zo4LI#Efm]/rw Q@,\z4[23pFgsQĽ&VO^Gą^r%0Isdx-4ĵmG8#==ȿ;ěRXZ7L^5M8]t k:X~g~27"|6ɯ160ݱ!Re7Kc8E52QQO|DݝCym(1Tƻ*oOEH!- $k_h~6] RuVbf܊i'~D>="ɨ avUH?!i>+Hȝ;3\ +XZ {CWuݳA-% FU KQ\갉"WH/r_.q]ӛlTRZAF~,ASaIS?Ua| EAE Mm?#P ,'A -bg-Td!;)]cD{,sx9|* ձBfY+~*+\"ALAakcNR!(m=MҀ.EP">X LUY,+?gԗ ,\f#DRt"{-IiOj%#n}vVO/4Zo hʹixBfyxbsrL}ߩC"~$|^~AMA?JHsO?DմK[3iei$#+t.Gq>P0Y1ўiq)K: \_3&9Tb&$7m6úM+`c6\fT 2xbFJ852GyjmL̨ej06o aoKYZ4S/ZHۂc{Sm0Gګa|R'`++lTIK\.[4[~p)4/3%-.̽*&2{Pr, )ÚS=f75H&Ft%qheHQ 5]l3j$ s6ơbZ<[Wu jVI?/euj9 fV Y=[LmSB/κ7Fs@r,m#&\6ywdt>CJw3(ĮZ!:kո5>jG ,պS?( 7{55CgSE,l&Ҝj,꧵U |zIAksq5SJh8O ~ oX"W5˳5"*!Gt" $Lg~E v9+?`RL/{,DERWAhəcæ b\ 5VDr־"d~8!r@@J#N>9[;/!Ey. O&ܽ T@9<;@&1Ʉv@!u`L/9$}:/$M"tq#p/oY}+Մ/5 Lړ#,~63/%lV5UV,©Zdiޞ5WY9KwDsxr Gopjޭt,"g〃 ΀B:LV:r? n0ǖd|y<>\Ve+W$PH&LH811o4L/c4^=`:)#i0S0&̋] 9ix3K&dwNnYz۾],Mp"Az@ epUAhTAed^5ӌ2ΰԮ[)$ډ^OYq4ef: @!i,蟝Tfj;D!i|0뉭]LեYcq&{sWm`__TÿSK R՟7;;.4Oc~덗fwADgYZ287d5d22e890ce74c11487f47890bfd8ecf383f0 2afb8c3b0b4aa4fd62466f0017ef34736003b5f2 384835f76dff7396bb686d2ad76b1e3cdbfcaa10 42592a2a3293213750136848a26f06962569fecb 4c4a8c309bb05096e064d9eab7f4735032c2994f 4ca9d3a55f0c8b25922b65ae69be3e737f6a3654 962e47aa332c8804c7b150e59b0d93cdd566fffe bea5e727d3498335cc2a1a50364e6846b1b74151 c3b7ace5e1cd195ab5d334a9382fc98298deca32 dc338c7e281dfec00a38ac4b708182083bbff572 df74f801adeb78749d8f6ecf1245e4ee32c568b3b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 38349052e83ff33385194117f1d07efbf777c0ce e882ca01d60f216c0143c477d237ef1efc0e7486