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 # |l i/ CISC-Kernel:threads=2elapsed=23.416cpu=43.320gc=1.760factor=1.857zXZִF! !u]ŗXf1-/6vRZx>3dd W4Xhz0a=s`P&/_ϣܣsZ`W "$GꟘzs1oB@:/5@,)waYwE#x"RtS°R|?i|Y6\-h#dGDVثӞC(@+!'˚TWBt]v#5Y knf]OAN; g5?g1h- NkؖuS?@VwY{V1! uGSLt3Rw@x{ɸwOe5P8žߒAKY nؤJ@pmݸ^6ڪ4qbq_ypy-᳗@! @9 }M<ĕɵRJm/ßG&:>R&D>|Gr+ɉJX 9g&P5VZ8m7+#W05G~^,KlyRM=/mXD*Mb| a%_?r{H7q͜Չx낚Iº'&nw ;\&5| HevQ RN- Vג- b*L$=8L /C*/K~WO#&Z9 m(8D(Uܙ}a\w%a2*)>v<ټHPKT׎u{a>5wD\Gb#lOpF%)">$pȾ~颿,"!^ :\dFϲbԲ!m!d7CgYZ7zXZִF!  ]ŗXi%6xmjh2mP:dShRŁy5#jSm{\tsdöO'7ⴄv~"ИȜCcQ`^rqN$ >Q<E\kEyfGYJ MMF(޶,w?!k 9yԤLgJ_j U۲7`#fؔ$]\jFtE$4Ic#-=j%FzvƯɕlF(l2؏Lp:S:.@LO%Ee"J%u^D5 O2$JF^V'|^mMr~::-nst}"dAz' Gi$%w»*S$; z<*Ycw90RtfblUKX:zaZYnhƐ0ZGVT>6_w6-m CkV '>.aK.WDd=BeZlqI!pXBDT*X~BK#" zNaA(8Yoc#YKʦVԄx%۱8McWe=_(kqZ6f#Ns/1ӣNHP𥖱~ {Nzp鼪Qr9ZY]cdD< )u*nY[\,>f|8zSQX/W$#I!Q^ۑnWlc//J} 5!wn=_W4MƘJ݁ \2r 8*mUp|-qZ<_Iz(`w" Dfr0@_k>% EG[bWl CAo=<I?s16%a,NHŤP  |jp(FL@:jKPINi=S'|u(?+J/+07+pɶmK_$8<Ӂtta²4RQ|G7Y!: [ޏKmsekx8h%m{11ߙrRni).@M/\^n-|߂ @m#Em#jYFus3J|` 4_2eA |gYZ0506f095c011835c4f7c437686483120ef02a687 3592c30ac1fd38ffd526d039830f81d754495946 36744a4124e740bd34455511b5cccd324f277a13 3de2d68c664fab32ff7a3aeace0d8bc43f924879 440b637391744a33a3e30aba8ece811488c7e9ec 4aabeb454f10c247e38df7cd714481f60134bec3 5061c1f8ccf840f9ea08ce306fe0df979ee274de 647b29895a9a234f8b44594b5085767187248cd0 68d9d51d23a8266e670f046ac0a501b349064391 73b9223cabede58b98b327a5ba24c2decb0b5cee 7ce1d219e87e3a78d77a826d66242aebc0c1d8a5 8ad780413248ed3f56d4f471bdf9d6b24491f498 a472b67214a1cf6a22efe58c8a3ce2529602cfbe af88c9306c41efb487e6787c9d795ec3c6948c83 b8ade7f9d5f7d4712b723e66913e308ec2ba70cb bb7be0def2547caa9c44bbe0efed558cbd09916e e348d16c420645f70a5d38bbef9783570fc1e619 e41054397abc751ba6bff1a620d2944ddee02bdb eb59e99cf39fe39e027d7743befd21a29b92a39b fcf4d458aa667a899f0ce8a92bb49c3a31cc7d1b ff0c2da3bed4adad2ee8133efa39fcb5777340d4 ff997872fbc887147587770dcd32855de0cd9a57 fff085c83c737871c16986038cf3c59cc609f636554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 # CISC-Kernel