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 @' tD ]]HOLCF-Library:threads=2elapsed=16.060cpu=29.220gc=1.156factor=1.827zXZִF! G]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF77eo$"E,d%A!%M&ɂF6Ϲ/qw<le2nB[Nu*YP^xKkZ'Kf%Lx."*i)])*(} 1.UBbbE[@t u3&}҉A.Τ V &C4$:a _4ίѽHu~YcV%A㽁6ZY?nMO@[s.Ⱥ!kLХ+(@& Кhr%uzp\(i\ƺnOüf9AR=!% dveY]YR8jŔgPMi^ѯ4VjK?EIs* 104}ecg?{Ua^ sI# L gYZ7zXZִF! 8q]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS07BӉȭfhWO gISћuWV90ӱqD^XhV-`zLA _rZաsI=]pyÅ0\o֐Jaa$vH1/(**h53 (0X4⏘2|8d슀03s)!'CℝNCR(!1؀:j6~~x]<ӆ;⍵$|sR$! cB$ @"P2E1H|q [>d'Y.@08d%nk}v,^CX2 Um[q^ZdQv /|\rYeVľ}=R 5.պ0d>LqSK?%~ ᰂA:˾M`Y.:)3jc9!X'.sd]V^>kZR ^p ˽4 SێrNՙ}2_+9^5B]6Kd\n/Eد<.IZcq)q&ڑT|4ת6 ˳eUR*z#uL7Jv 5ePiɨ>THN\[?74oߡgbO)3`lMQG=t5 Y ;bـ"/JJ_15!Q;* m2`)&EAUoa{[^D̯1u&HrȥugYzF1tL׼Der#OXk ld 4Y:C#<Ƞ%ǴSg x∣qZ%zcwjDշ׷0wbbTlPaP?"WEI\e+ؑv{z$5@w8&Vk.)?g%)Jm9{F*CfZxi(bg|;nad ,ᆽ78@ghɜݡ {wpgFu33mvcL (8v{Xǟ5 hϝ1~ɴ }W~=X/lIk͔f׹YB;&@ nB0@g>ݽ&PD9߈~h>1s:#FSR}yՆR1w |)WwVo&aaM'rHBaU''LY/4 &ąſz( 4) Q~ '6/t~p*#tqrny!W st$Z ^ 9Orp,z׿~ OQE)-Oh,)KТ=bI2v:ȺZǨ埭3+J6 nNДeq ײ)gYZd9328f2fb3a22ad4c929d15ac4ed9d6d46d2db4da86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 c40411e15cda58f0aca26f5a7949660600917046a0357967b1398e3d3c8af3eb196ca3909454f089 ' HOLCF-Library