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   p ,T ] Corec:threads=2elapsed=60.318cpu=86.564gc=5.664factor=1.447zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$~ TaDsWƂaFuYG!jWQ +m9Zq} <*V]mz=PGQ9a$^ |v= >w\=}lk(^V52J&}og[sr#hffR~W`$7ZƒওczXX-&-5l]2./ͪ+kx?Q/\RT6WIE!Hľݖ#qW0frEwگJғݐ?O8 [ (+8Do08rΊ +QÞ>&c /P5\^ɭ|}BF}gYZ7zXZִF!  B]ŗXi%;@r$ Kz^Î| e ^ӡO"@@r#8^Ht 6 N >4WdO.8SѾ>q!7Fd+Q8ptrTA) cH89K*2 8BLA.ϯ/eP[6< 4%H}w_!C#QF'mhq*! 2 ʪxWn $)AuyIe9@-E ;K|WrQwH7SJQIxQs:<\^KpNV*9wsBi+YVҶr7gM(: =fY'3ݶ 26(SƇinF̊vo^ɞpɫPn$x==#[`rLKX)P910iDS|4`.k$t[HSjԽOV1xUJ=cd 3fge6%4W< a"Đ-0>h3m*w 98ĽjF,ьSOL0/o"=Pk f2' `@VK0<7v4նعߑ4=9TW2XQXq> %6إ>.;MQ _~jaͻ h+lN}/lcq>O WYHh":L fI㈴x.ޭɫjX4b_֜dr)ގ}LeBny>5LL~[dHo,~dk$@%tv6Ex[p~j_4Fs:4UvtE\#36ϧ1T$=g}ADX4nC~m=zXMdjM8/mw}K L^*t)#o݇:(WKZ#)9HG30rxEFQa)Ulu׃t9^wO pc#%hm,`cDAt%*ՉtI}#*PK#%Xd䠥WJgvܴWg- ?F<v$cO2'ʎT?I`(;i]oZqja;M"sP P~wofSt1.At}bBl9f3udm2R}dKOjHaGA$;cbC̩-~1Xr*1{?Pɑm %B7=Cw/jd]&P ?PLфYd%e <+pgT:| rR~mQC\?#G:pk>x(I:Ve;zmd8. `puEq6ujEb2^5HmT"mqkl' ZDt|g#bN,j/D yJnbIqvƆv}/EQX=Y (pZf+X£:Ŕni7=$*ҾTh)ót^ٝMnt߼@5}Iq-տY~&/938h7R~|w!Uy𾽽[ׯw ^& 7jzwr t>tMf3l;lGSlo7Z KiحmPutmA&Yٶ2o|d44vȫ$~h'QDH,b$n".] v s ݿnJH4_ua:E^ :GztdE-s~5)$MV _*|*@?'xY%m Df0= ~fI&_} UeE4<ٝT}CH/&MrIPU ` |.j${J_y p"G!aɟF{O٨2?&IMt!g!!Y;^df k$XHQ9.9/:W7~ *T$VHam+olk4Bu/wp }AO鲍O9f%7KN_>m}z_a ( pg8r>ךB@>l 5f{A|tw1[`!B4qUǶp_BhTjcIUaVdF* :yEDR/d*T:kd ")qao MJC2:B 2Jx?% vg*y2.*Sx2e6<Hgl7-=R"љZBDFHEq"fG'C9[tƘ[-Ɛ)NFSoaơ_'1{!]y/)JMXOgYZ3aea7575e4b8324a09fb4a0171b8be19ac8ec52698dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d acd1b5a40151b067766d2c39214b0e7386d62cea  Corec