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 JJ3 D$4 ]/]HOLCF:threads=6elapsed=11.801cpu=34.136gc=1.700factor=2.897zXZִF! p]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VjQ&n]0 "BNiӅG&oaQE [onkB n(Ab49C^#k-P?*AbpҐ֩iO$PR %ѣjEMЇ{H@)MjZ0u>v9=+8Ê-*&#LJݍ%ǫͮ~Y uM{"떄D:@ -E(Ɣ\Fv,4c?B8 :rqmzC\{vL^%߮Qď>k cYVrf!j6cYU = ˮm8Qy.'H''7*>)gY"Q]I`:Վ{14g5kc7Mʙԃ~AܪY> Bk 8/hi>2MZTm(aii7\&VZBmcJa>jikL="οt -o3a9e˗5!MZq4؇$gYZ7zXZִF! K]ŗXiɟ>Ӈɇ9S2]k5UOiuNqi60k+''U4@1Ik% r_p,/tw.39 WU@78$Zdeա}A1}? x տAK[]HNI>Y~Lq\R_->nJN9 :z+9Ze%1U$͊j[|τЈ$Tr-Е%9!*1 L]M&X](n&s.tOZ)weLCڭsfX7 0;X룧NIPqu 瘍AUM'׻&['睛!1^haqw=؞ O(țrsV͈[EH5Y@%[e̍6tIHHsDzjxYދL!EVg}ܒ#>6#m)+nn: 4//C_w 膵Jq=9L$v+;|wOJ PD~u0I$d;˸.w@c*"IgYZ7zXZִF! 8]ŗXi%ʎ a!iyn)ːI٥' 6dx6𰻷 skY7˲hUyVP4m|$ek;BX}b75Gj׈T1c:ڧke>&2 e,Y/W K`:#th[D2sk-)Ɣm$s}vdw'B:yo*=IlU{%̱,ݙm$;җGVVƑY~e^CaIR x:썼vqa0;?o!(SǪoaW`QNzWv-vJj&ܥAm$ ;/ ~CxΏY`T;q}9,ܘ*̔Uۣq$pV&A{i% 5F4gS-w]y[_8campZw_c햞 -#.Hus ?3T@eڌӧr_2g09di PP-Ƈ*dmX7LJA[{{z+P:xx?%m@0gذW3%Px%@vT:qzZBGC&V%-}p> -PUO%s\B p4m[(FpK&g *@{8 w#ྎF.gώE9>3Y,ȕzvE~09&`ӗ׍`(&^nS(MԝլAk&hȤ]B7ъk6۶ǿ$p4g>faYӵXf·<5i/5A ĵ`bQ ,rSڗ0PR#o$ OKb>nP2;,{٦](ⳔbWLߏ5'N)g^D#eifdhPi#E: fM޼W\t5?Fv HZ:/f&J8p.֏v^q} gYZ17eae5cad84a12c47b25343998ca9699feb4f862bc0597c9f59ed66554e4cc7d1e17fb50ede497e8 14be1ab66264ed0a6d82f8a0963231fd6accee6923898c53211cb25def999ec5f5a40c19532d9bdf  HOLCF