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  h h ?|D ]]HOL-Computational_Algebra:threads=2elapsed=57.928cpu=102.088gc=5.648factor=1.767zXZִF! 0]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C^<1 ;~5P\3~*G0vJ=pLu]G邓+* ɯ`aCɄMb8}d|wMcH.jv27겚r&P IZ(zhnNI"n {'>'j"Ʀ50# EO҇Wh" @߽@<=V=i1 |\F'6;λq }h1<.,f 3g`1=|k?auȼ M]ȌHR{ 5?$h̴Wn/ͰgFKi 9@7&apl!'4QZM AJ.LAɋCxQ:G&y`r_vDhN%g6yİG[ij:1Ք cz7D>!Iq.dk hxrNT&y^Pd^VDSh^[2ݼogeUb LZXuhf\w`:(Р Y[MaXtlm_T ؚ&|NnR3Z=3ardRx 7$jVةx&58:t;'QV{t]HvX:U08 )vp#*ҥs+XKQq?ңf>u_RR*r%W}ڿ}Կl;ۈydCoeGα~cv$@ 2w!`/ 'f+:%.G,jC@b׾ԉ؋_5]Y X] 5J a ? HOL-Computational_Algebra=XgYZ7zXZִF! ]ŗXiɟ1\vӕ_¶kq(;%- _D 46kjGm`]r? U۸l 4_-{{fBtgٽamG N ] |&m:\ h=dZTaf3ΒZ8N_gmQgG:k.}깩¾XGPۚ$Tj ;Z)Ft!!"ENi3cR3JZ'3 ̦7Uh' KugYZ7zXZִF! 2 ]ŗXi%;iZ,z(k8w6Yp5ݔ{]wNak)"96 mM4UbPbBq3tPPc#ڐKk@>BpUHR폥PJ[7 5rAcœ~ӻ._VnA +'R"8T1GB#~DH!PIX-7@=>|`Ol2̲lvg̫]]O>qe0[@ml44\YўuFOrţрhg^'*av% |%EƋ5k#0BuN<;UkfH1&OA -Xy1bO.3dqtaz )ݛF$V6Po/UeTK|c j4nόא!RaXE)ƖnN}L%!ML1d9@uK.4ҁw6{}߀ 2c>tCYđ_d/{ j2Ca@?kg^b;&*&t$zDjf>CHǮf C͹̟5.jKHNwe ;fO=6}):*d٥vVYLNẃ޴$S94Zw#)o~f 6NrZ>Ie]3As{BjIhV%Tw NQ:KIx#$Ry%.. K|sS^ed42o˗4EЮF\l):O(%htwO3c]%r*MysOꢂjl KeڬQ.OhD : "P;ONA?ZAAb7 %\6܊T TE-zjaW#/wq/yoT -/b\У8?ZGMN|}Q 851"g(ɣKo؆RH3²JC)8+.4WwRG &lQ)5?]mMDrh-{y؈`SE6m!HL̖dIiܯc`1B,bYK(j ǐ̛dc=sgi{ (mcT)L/Ş(|q ۣNIs'u#=۽ q4I 9 Md;4ꌂM6ң|{np RjSQBN" 'K"osj~TOYӕADIƙȺwx5=Ũt!˂V{N[aTb뾈A-bFsPRʢB=OK SE@ؖ[V: hFddO[&48NJZ&J- -ŘsE)Hb`X}̂2EKَ?s^3s`7ʺ!(lsR1w&B5 y=>,"DɡX6`r8!_/ i+bl5u*0;<>6n\3,Foˊ5U8^|bw.4hl=bG#v(wR/ E{S v]E~PfRYIXAf;XL;+D>U vd"K2 ælWَ͢Yս62iJ[b> Yq MK| lU6[*?/`:eB[R6Z.' .dF'YBnxe8wi6Va-'[cRKnxW@FV7m7Gr}k g]BF2"*~Rs"bOt5)e͒FըJLӣ seZo|-<Hc+=,@Nϲ^ `O GuL'ݡτF8H?CL#V\cVc)]`L2p& 6Uں,{w}tT\)Ȏ?p EJ~vSSA勫3 T^؉{"%᫦FK Ğvw/d\WNjS`)H>%e|_CZRː9YZX>,=)S1cC@ՐVҾ(nfLP^ԧ ե#= *0IX/SCY!fk7tR,e~qgt'K#NzOsop>U̅~Rd5VL.!;kW<5N=# Ox斎>x) D۸<^þ32Czq+SS9A?<]ŁbՄ~1 /} ɯ[j]3!jZB]Bb[$٪%ކS '<ӧ qI'4yva(J\0 "ri[m|RƜ"5Hw3鞉bwqI\'r gYZb9502d37e5da5dc8133216bb1656b0d827143c62b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde e19fd855d79a722189e435995b1ccfcd1bca38482648d3240bc9e7077d7fc63b0cb866139118b361