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 WW&! $$ S/ NormByEval:threads=2elapsed=28.368cpu=48.628gc=1.624factor=1.717zXZִF! "]ŗXf1-/6vR[yK6Φ + ?:%Оos+[1x ͭ ׾}C@lW .ی:ڙiZO-;kZVc0gPݡFopT,?mRkOBPC5K-#Awh(i.EVq`hנW?ѯ%6`E`t'Jϑh&=(C7k3ξ3/%i AeXH6"5+MVK]1 i[ee)ZyQEkэy@ڿ'"XnE^4lCy)tT 0ȵ(l򨏹@Y[HMO.WupĄGDȋgYZ7zXZִF! J]ŗXi%S׆>G+5z10Tww')PUE!7 xUy\4:}/*3XIÞLu-&GRK8Ahϭ e;w1Vm C}k=&uoMoouz"T[([%-hZhnyW wvX-zհSμut8B&>PkL0ď0xXSeqEs#zqt\ 0?5ctWU/CIO2y)> ٖdyO?r8z\N4ue^aMrr7$pA}#>!D4j5D:3v0$`ȋ D:-ðtpGNBfHmS!=w܍e?`gH %}&)Gp;hgp^ 6 :csDLnxg{0*,dt/|TbP:;cE}h͒ΘEťO0N.EȕtvGo4S>CvwVȞN<|ݯ{Y0#/mf(ǀ\Tܿ}Й*UgcۗcE&5Kڰ]jGjڤAhm%EpH(1 4:o| >9XfVD x?cW7Tn;&{짎€s ;Z f yÂ[ 3<FJȤCknڱ +Ǯ(f{ɇa߸ͫGVh |2#5rKk%Ћ)c_fùDDDmm\biVE;H59{ޥLU:3Q M6E^>'BHAh4#XFZJ9; ShP'OWiBWB,ōͶ3R"ՒԘ! ӊhpNheW9b Uhf RZ@Q;:#qEg(|HeS:>r }Uf줣WyFغhksǹgv7HS 5*]Brx(3G0 ΘKeN%~<*FΪ*~XUB(sY].<vyRN-v)IJQ<0 heg]"%&)eәf#ɪ"s3-|过0%]J-~vʷ'7.J™Gρ=K&l:/Hsp?Yt?]fpRPwv65oOWJ"gYv=7+WܘP| NDY#wM제.]Dw!,wB+S1!RpB0 T?#\g(YS{7[Քpz=aY[gYZ478816fee45c9193309fbffde927fed38a13f044 d45d00c6430bcb32d8ec28d5387c874d34f9acf5 dbfb16504f02920db603ce3099063e57929e36c5 f15e9a0267e9c882bbe66e1a762dde09b651a14f735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa  ! NormByEval