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   D / Heard_Of:threads=2elapsed=44.243cpu=70.904gc=2.372factor=1.607zXZִF! +]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFFLwBIUy})# g qE/$)MT=~M=dNtV#ߝհeZn/4Dv,GGht1V)yB=tGO[Gx6SaIo6+9Y^GH5C`riߚVfB MeH5ؒ0%BoHCZux}}HWЖSOf?RC KrؘJyj@G=c7]Ztb 7m1Ye;s '{ǵvi~ sWG' YxQ #($~3Trvz1g{<`/:]>LYE>G531/.Bezu8z%χ |d@0eb%uX srC{;+6_O#u< Jj0uv14\^ݤW;Z}JM틦;)_Icm zJ>Opa:*\ á1^bcaH=04G$~9oC+׃-q7 * bemoŜ f TDƛD Ǡi^}xw>R\"|ncm 5(o$~@gx?t*t.B _ȓ)>7%jz*U oUߖ*'@dg'pZt# ⟛c#wF-7tj\b % |L뙞wg@ߋ\D|`q2֐x!*   Heard_Of݈v?3f6%DíDž]Tz /][0d>KMߖ#np! dg:© R6iv<$vM7Ik]W*-Z\v L{!;N w{,".q8֬c4ߦ]l W)*ɱgYZ7zXZִF! ]ŗXi%6˻hݮB 0f=!蔯Ƈٙ2gl+#R>C&Q]-70ׅ`@ bzYC.9yoUD쫵FY-A\3@lMaf226Sܶ!&R ܪ!Io,┋Ֆ6Þyhp:x,_6b:K8(dUQo$BgMa1 ǔ+H,nvR>Kˍ& 5am+i%"u4U] b< ;-ld'FZL;B;zow衘8dm%IFy(Sz6Χ!i2BV>+EjEځϏ$Y*TR+묜[^;cF#:=/)>9f =rU :S9 |FeXHzD\gC- g:֢10GhyӤ4;l{7a+ Y,Qs9w ez3};rRYD1RՓ^W6>eIW]Ljm<ƩTN cx`Qͮl%^!lGh4͊rtfLEǴsh@gļXoI36C6UV=9oDahh{z)6;28 OΝKAUHF\ ږCoz(Ky`\EQ|?|<xZ__qS)HoeAc $9 7Y#QCJ$ T>dZ,Xli W(QjR]j.tÔf2gIB\]p0`@ s2a;BI63lĮGpT x _JD -ʷhd1af_P"AȂ; T?P\$Z:g PrZp\ӨTO ݘ@$mcvG"D$gQh*^-czP8J'n#ra4DZjχ &"]}Z Gj#݁aopg(tqx9 2ՠm+ܘ79X_*JOV: QƑn}BoU*$umZ`?*gYZ07fbf43350eb20c78e21e3c880ce16e2193a1046 29b0c1eef527a70648010c1a77bc57b3054d5527 5494a10d7bf11c4de909a12a92e487c26fb55ea1 5d13452a27983e538d261502826594d743acaaa7 5ee230635355a48cc812996c21fd20f797f8c6e8 7b6ec139de0a604f475d62d05f428136b3946790 7fe389180a718836fb9ab643c894780ea69160bb 805122a57d3a0b2bdac0a95906f3bffa1d16f815 81676aa739d73d481a52847d73cc4a725dabc0c2 857060ed8c59d8e65872a569304dd512a8049f5d 8bdfc81df497e23e2b530acccb397a660936bb61 915f2cac785ed88789894b5d7e581086ae5ce380 9482d80f8e7b6d882f212f19b6f42d222c5cf9fb 9a6e848cf7bbcec3ce6567527f9879425bc9a621 9b1f321658f3646bbc6f985f388fc2b2e09cd4db b394b94f00fd69962a31ef5d1297617398675dc0 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 ceb191a738ce340c0625ad49b38fd1b9582b424b cfb65f6a2cb4dc6833bf754cee194bd6a4b346fe d528ac61445ebf01d9c00ae78a93ed2a660aa700 df3fc9c9cd5e68fb92332d8bc39877c97204ac09 efb38344a46986ed1cab770e8beafe040322a6c1554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772