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 rE T<, ]/ Name_Carrying_Type_Inference:threads=2elapsed=20.687cpu=36.660gc=1.468factor=1.777zXZִF! #]ŗXf1-/6vR[ְ8vd6 F^Hf.OH =& IuW~O#3erB,a|$̭v皯k4K'O=6Ԭf*1O뤻dw?TdžZLrro$qp0aF: j\Y0 P7 PI^t -EPx $jv;J)a'gYZ7zXZִF! p]ŗXiɟż]7dSWFQ'8x^SbZ r_.&]pBFs2iZ[K)8H߻z* w]aJ2ɛgĤd- g Jj°fx$D` sNơ6+O1>ޱcgYZ7zXZִF! u ]ŗXi%92M!DZǺyZ ?pՔSaϕ]/fٺo?8GM;QV!a砓 M۫t󟅝r|L' 몥[1Ջ#f2]s~K,\'~}6y ꜯ0s˷!/MQ3.$9=,t`_++5M R GǗh#ɽoU! !'z8k K[%CUh8 ٴ )_5ǝw亦0L>3&*Y}PX]#F @Nj=% OPXmk_O64EC\GIm + jmU8C K|V1tMtYu Oy\!wp" .*\K8X*Cب}r>9 ݠLL/gM)+o]vg.l.|$p|| n+}{%bƓ34{2D~ J=/sڂ5 ny1(e|Z"»>;Mԇ'=6 F Z~5B)gid*a1NYB#j.8@|SZJ0|~; KISgEcq;3a"SeiqM6ꪱهm4(g"Q3L`j D@E|ۃտ)͖g%ؗ}7ONɖ?ݩ[1=&speII(z8fS?UP<B+ 5 "/|+m)B>U `:bh$0`n ĎjtOx/FpZ uGjݾsbj#07L.9|#,E{/m{z5G` B!wDN 5T/!h&[An/R_ j"@ݤ1Hv,5)薴*4Y#L^#bHɼgـT:T\7rjF3 ߎ"QZƋƖ$ ZADOf-%{khвHmOX>:=i}%(* `&l=цy vmMRS-GAN|F#h:XNNNM4ʇ߰N:(~j)ұjȧtݜ@!,0N1ײyҮ2d H.5ac~DFdӑ/}Oj^dK;s_ `9hgYZ6dd9bb15b085cb60cb73900b76d1e945f2f6c4fd02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 E Name_Carrying_Type_Inference