SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info T%|dc? Prpu_Maxflow:7zXZ ִF ! [w] ŗXf1-/6vR[3 PxNmWO68{s&IR#ʺq ΧXjJ ڎO[10i 25!S} 'pم#2~tjON5NccPRn_ʽ$t .w(53~l$'k8|u2|ђ:9ה$hH -[<0FYtxDgK߭I'qpP͖TƂCx+ jĝ O1Bq%_+U\brXOIÛ,9Tןp%]h-te͋aS:^ 䯞Վ="+k442a DLC(4lPьj(N*[t~qi@7\u:z[9PrRRm$i$䚹DZ_r`mmc@eT]ꄨ^SnQ+n]2A q=gUKG+ŌPq-uI +jY5p 9])JKk>9Zܐ.QfK'@Gg2v _N2}jQ^@9_\YPY*0ۖؗ/zcX$",d_:z=!_%$e5-]d&Sn7
-D'Qa7n~XC~#G_0#uXJ_~3[.8Σ9_eīQ+$Fߜd͠Fu#<SP>'b|U5-s-6xoi.l0`|8rkR`Yw`Րq(v]JN`=;S!{ωTGӨh0K De
- %+^WL'˃vdBBWGU abݶQ`6DO1c4%B=˧e865
>é~R±TB M碎P%O)R7u5P6erTR)%>bP=(W?z6t5N
υSj_S AT-Jcr8%=wTvGhKkG_.Pe2T 9
<:9e`E$RkiusWA:AIy6Ȼb ޢs~te`;&)UԨ0hPH"F{;b=YA߁$m`yr kp:
72^fμc5%7enVoՍC^hpׁ#:+6ܼ7$+sO\* U5!T /9l&\#a>O}KHNCwDU3nnow5k@Psn(@ih)R"/R6Vj];tx2B~$ClhaP;RDx۪k3Ϩ
0R6=rEk=F[).&^43H-({QDT^GBIMȉ^A}p7?ݘ@>tIcA`83E@2wqYѺrT{0 :5yv'gP}\Xw5B"K$8sy> [
ۓE\|fcݲ*ԋ[F
'8ɠWVg\ECJiҋM8Mq<@;}
Svy^M1ɔi~I1ϟeL9-h
TӏdSG~QA>5
&]Z1D&}:|pJF4E>ida`aCrwTU O6%őE[焹AXQ
5|"&:22ݘLj5c~`lvH˯Т+o#k[:Nr2,97G1 IbWAp1
۞3%lJtwt&vPEFDI{\ُtc߈Q8-qTgA芩K':Xz| xm\.xABbnƐܜQoɨh}Sݓܖ