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 S D ]/]HOLCF:threads=2elapsed=17.863cpu=35.184gc=2.208factor=1.977zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VVrL .5+@w\_j;{ĭ{ XɺV 9x;r!ӶHerGimi L␙х{NFn:=r{ײzTMjBv>ҾNR U4 p-$M?ZC00i#.Zҝ +3L6(u X`ٝcR;2C òG%Y$EVn71'gBn,7,m˗i(}6Z2p2U4вeH6ݯs:myܠ 8vtCr/߂g E%mjpWo/o;$̓EfLJJFJrbB "¿E&IdnY S͛&AVleR UZ_\/ S[\{3CI^^oog| MϕwMAQ"y7sbAC'^ktc4}ٻ('|@z&R] D a%o"UOH䴆?*(4ͅ>ܯs0W4bMZCzReM?׻H1gQ-Q[Uf2Zv^8=!t{FEx<:L*~yj3t%RyK'Vtn!TY^Y CMV C$aﮪO~UP$vFS}@:/p9bǻH'VV|ez>%5'uMx;{t6Ure}$oa+񆜶@ uPRC .ERS2W *%u9zU1?dzpei |~v>}weQLT6m5]#eoc`7^qYksRq(IDgTgYZ7zXZִF! n|]ŗXi%96UIy׺401|G֎pNDuޠr;ɴwi޵zrDvn$A]/ }:V! }h[u8KᰚRYŴ߉V>'_J˦ գe/`.3g>A 3Tj'vBZFIÍK(ӰW;C l)9 4D!φ߆ !EbM.obt}4'Wx~x|nb Czy3-ԜpOi"0 CwGgFO#4"'J?:lW:Vj%?i#O>if(-Ղ4oEr $W '0ɂ1PBg?N kEn`{ݷB./JK+;9eBشJUKTY3+R3QzWo?1~!!1IR`Lx &=*$KCržYAhs[,ݜXB{F$?NF<[@iڣGFɿ?.hy4xȡᵗ-aob~|6x_Oy?ɜ@DB(pn-qF!r:شn=%RKyʹD OhAIOfp9dx9NLD-ae BZà "Lb}FEi+7?=NXU>ʼh8kI qmo0pK iW$gYZ2bd9da9a8bc7ea3101e365282ddb119d2db2c527e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2716a86216331055199244637288ec1c6c116ecbb  HOLCF