SQLite format 3@ - llB77#tableisabelle_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, "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, ! WorkerWrapper:threads=2elapsed=12.901cpu=24.080gc=0.840factor=1.877zXZִF! k-]ŗXf1-/6vR[X"9߫TSݬ2Kܦ\=Qհ+ _PUCIJ]U]>ڍ6 NhUn ' WorkerWrapper4frI/M>=n_8[d2 R^ r&Z }dTT~V ~0iyzC1 OCF|UQ"n8 l@@MU?K1<:4*Eܛ@A@zr' tL1Ӻ/Tb<k4<$ .J5O3]I^ `h/q ~Myx^xN/z$uI9Cळ l 1n%dq Q$F =WIV"alGڞ;nCA \[AF5X#` _E4&;D"Vfϐ#+Fy$`fKCQ;l_ftbN+DAI?Tߩvqt $ l$mY! e6((+m˱VPIc l[4pcT&Vq;!u]A -ho]Dtڊb%+;@rݼa,,h2`.;Wc^7zSSi- ) 0oE:wqixsT86ʱzkN á UYWM"ad݈VRm/i*ZY uQAKn&K1礝MX;u.DQS#ewsLt Tuӄ$qD/Sʯ[˥RmmrF p%) X[A$#s% >9^376PP~ D[Uic+7k`ĚhY3_mpXPkR{DUiɖH"XlQ o<JO'ʌɛPQT_ N-+3nHC(1/T2Pj䰥{Pq$75 iBZ|l_ϐQɎ`%ܖ.:F:|"1p0Uf6eR[sC6Dh<KyL9QW4Nuf )^ 870ُ F|!y}}c&楡RrA Ů`"a[&o eҒ_W ŸdP\wAONmw9؃#%T" S /mWbR0pBzۖ˜0YlImx=YG+0zK$=1# hQڟF~r,'/UUfyCveӏgYZ7zXZִF! FGO]ŗXi%S##:oPY>d),s`(6k-<`ʠݢj굈; zHCup7_yʯи*cEv5۳POTEUZ`vcUy s9CK{dkRP,Cpa^ kn¦FFG8+u KG=%:⟂\ hv(J ?N7k׸rF7X_gV|KoF|8v7^2X+{H00aOѵcS۟o=P ?ׄUgF6an7h\oՇu;'>&F }$з2j$|a_t݄)P2JVU)Or2# MV; ʠG7&])B-j7 [F[2g1Pdxvme_#=urAg\,@RdP訽HY2[+YHBpM;~]TGɬMK8a:ޔ{xM1qi>V\6q\{etr~GޢF}i4PGYD@ DNoUX|vc*T~ 򬱰k&tV/5jײ .6`:>bUcfbCނޟ# nFE?J$벣ȌakͱgYZ0a2c7d03761993d0a1d05019be99704d2a240299 1671306404d8bf0aa71a09907fa4123dcd140ae0 34542257061391055c6b8e8687d66c551400d20d 3597c940b3ab0264ecb66f5e80c0ac52d5c4d776 46f44db65900a4f12068668eeb99eddbe69ccb62 4e39f6478d860a208e5aabb0b6c71d51777efa4f 56112a8805dc91a83c2737d6bee5ec7c5ea05b85 58142bb0d4a5eeed14cf22145a50883d0e4166b2 6e22939711a88778452fe222dea8db8e9aa2cd06 7467dc8da20901417ed34e86d6379c6b136b6ed1 7a94731e9eedc930cb9e8335360ab16c526427a1 9b74158d2a835973733584164686dc74a6fe63ba b0496b020362f8f73abfda83897a1f945b2ed0fe b0ae8f40662dea71cc0539545678c88bb4d5171b cde040ff567f466b071cc1a9a4fdd9325063fe0c d921806f20f186bb83772941cf42bee975e09614 d9437c7bd796f981bdd57c733e359e12269ebb4c db43e77b989b37a94968013fdb7f1aae7cc70f65 e77c0ccc32271c3a253cc3ea7aa0689eb9df685d80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 004a82cb101bdf5ba9b9d95465003d98afae1690