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 a \ ]IOA:threads=2elapsed=19.024cpu=36.448gc=1.256factor=1.927zXZִF! Mh]ŗXf1-qN50^ ʕmy\5)NzPNzMr,HB1y" e깸ܧAWnxvYdKKgR,4/<(F5ykzAOgQ^~6N7jfD sy}"yư)~ktHK(^&7,En_iCiϣꥅF޶,s6^kli,g Q1$/Kk+EH'xV;]Gȳt I@ЅYphO{Y=TDM2Z}|s3l"xoĖQrhbzΥ'],wvCNPLV'e fǭԁ@e>l葂e#4ʲάSXi {esxvRJО:I_ r$!"(3T7&=YC&  IOAD;DY2YIOR(54lR `Xj#3)}YrÄIc߼!iOVFP0ѽS=RUpyDlm CFOɚ#4AU@yvrQx]6jcTX=f#eI鲹.}ObTWȌک"gYq!EiѓnTO['=(v`ӹ4'=zbASM'P[WLe浃01NiZ<jp =Sb{5^[p> L<?kde;Sqyh4L$c㓍0fC7j:PyjTjU&OgvHLܮuK:Wx9#O[}/ C3 ̌ h1,+P//>>4Jjo-a LQ$6"$_/jDi2Yrlv7v0a D3MOyX4𑠅kWܿ'i eh+,:&_ta֪~ҵyrPU@↏O7A%Ы݁:q (*i5QVwu|I @[As&d/AItb^yr撈K)DKuigEX 7+ Ej]gJ*Q2s}u%F5!34DCZjj"۲.DÀ[udd!ؙ"|³yD~pE\xJHr#D >-3-->JQ"QbF8u cԦRFܼӃmNGB?j1{KѐkaNI!1'ɨxg.ŧH A2n'GO-}avpz]bѹY[[yUKO+%OoJ<ʨ"rWTߌT>Ǖ27V%PkU9ݶS0 wh˛ٖ͚,5o3"nlmWe*V: h#BC::Gcn8Mp!۬[%:Z=qgVZ3-S-&w$ SD3v hs˿I ;%z3춝-{ 0qu,8js) J??OHPG6b╶;:u hqeY[Σ%ps&C%;%fY`̼ Zߌ=|, j\U8-3TBC;NwT 2mE5D$BtAˊh5m#N?[9PZMx-͊)aEY&$1;x+ՋBe6cR@OZETK\=^vF8hrxc 6K{Jy]E!oc>`c3dxbJt}X^feٙ#+h<֌A獽dz.(] Ye\\q^`rb7&FylOZ,:xAL-}HypwuMyBϷ2bj.rUr'>yA~,""=_ϘSdί% c7Ɔ4?BJ-"nҢݳ߶r7jmkETBi{Gq,Z'T%/Z_Ft9&_F`~0 C*)þ@7Vy+B˾Qsm[1,Ci1ժv-h$Gi(>]a!pC-EֲMv\Č m/x ̩ZֈDD /_~5%,/iϰ5bǯST>~ Ihv%#0m {7$tnnwH1ddCldfE(PA!#@Xڜ=oZ |$p?nF n/v`}Cnh4IeQt8h1C'\N~2BV~Ari-Z5}]P'n;8HqdƢѬ{ojIiZ;œ, mMU\-𜾎HXW 3{e#$ңT𸂑+\7,fr}1k9s*`F7wʮ}kcEg0tH@#uqx }>VugrةAB$42 E MKGKׁAfjgVp٪r͖ T9Ob]5T:̩ҷB!Xs(^b3ÏhSníB@u ,!u!ߟgYZ7zXZִF! Y^]ŗXi%BWeTN12RJחSO>@j ]]VqjôK xΊ,nkqDng%JN=l %9ik`2\`gqpcwiRC(i}GxP|KnkϜJrԵ2%]/?Y2|=W;‹H 4AbXA6J.ӭlQ3cK;VcyKjě ̿Vy3߰Z v?<>aYcg4ʺUۆ{bΕ$9*"CKT.Z$ QkͯikO[FREcWPQ o]*]_S&9(ҁԀHN% #4ΖAd rp~p\\AN$!(l87qyV"?L/ āڤءH M?yGXl%?Yq BL AO\S-iaL,f5% 7(KynCtBUph¿7c)f;}3C nǔ5Q5-$ٙ>tE ,.ыdvtZosV1XB%EL'H#z&>\Ce )ӻ5/d2f``oF[9(fC:p߆2q6~79*wbDXLZYORGƵl-=ϫ*鍱XW.[ۃM=~f3 󱍺tugup+NSDŽ$JUbzj+M9A4P*逅ѬܮvuC6Ou=nl˝3)v)SYFN_<pf=@ %B4u22Ʀsd aPKy`2/=8h`5fIFvGR#8شQR~624HޙVX8Ǥxku`eOMQeЯ͜8oڞf:1!9\&,L>>P^Os}jWD=Ԍ#8(jvs(]6)ۙA+,[hKCNӆ09-G @(~S:LJ\[ U5G6}Yĉ#À)'E%7Y~A\wH݅ta#Q»8$qמ`HLGص×X2Jm\woˑAL^_j_[ ߲ _gYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a181121d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b 418c966c45dcc7bb77effa133124dd4ac762d7105d510562439427063eb7334aba6321efffbd3280