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 VV' t ]/]HOLCF:threads=2elapsed=15.424cpu=30.252gc=1.736factor=1.967zXZִF! $]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_JhiG4q~3;2F(9er야,0Gg*UgLTL'ێ >:jwܣtl@ eCFaP9P?q jR$E ['MZmXyBף0 ꚰ,'ۺw,AHZLKu C?"jE6]jVu5 8&R XHo} ? xy^3:ǴuJ@ TцӜUO'ȐjeƬ.:zPmWРZMA[dZK$YbDYr H4[phB$6 P Kd6})1{-7;嶇CfNlΏ[4Y=a:b*U2k 9 <$eI= }/H=6e̐,5|\Mk7LT$=̪L=#>GVtkHBSp $b5]FUgYZ7zXZִF! `]ŗXi%;'"ӶsVon:ν/pGiA F}K髖 '>O"/=&D5wަ|015M?HЧ`;G%FƗ9A<Т D* cBWG V]"m\ _J#trߧ}xuZs@"Zhh'\-V'"*"^!>N5s)Gc'Sr\Vl8ϛpM2;ۦR|@R|Kco3Q͗H?ߍL&5vnA',f%i2Qѝ\R6ȑPW@ՙLl)5hCm^m7 .$][(AAO&Nu3ΣLx{NMsWK6,OGM F;@8:2J0N#TM&]hJ'929%8>+M%z=[oj/FDZH鸗b+okblHz'҈p']{<[~WR`m/xT| FزeO뻼f|7ǗSrl[ Q.2(muL0H*vdMFe޻ˣJd^ vV~ׂͦ:<>?utq7 LPmWbX:zO@F0;{ |k<Bd=k=ˉ  OUuS'j b `<4 4Tf B݌>?Y7:m)\V xjxGJ ,Rh JD$zC5& VFBE]|k΀4f(BJ&i=oWT K2QI) uB}/M]#A(aƒՆyb,d8L׍˓*Ϋ2T9ؾFiJ:vT9E[*,߮]ǟzⷲĸJH`sՍWDBJ ѯ@Qƺ"䤌m/EL yGi>5 wՊ78iȓ1jKCoS5k [q2wq)F[GB80cwj}ut_)3}vcř8)&1w+_\obKו//tAZ~=ӯ~76ԗB^iۼ *ROqwLEݝ)ȟ<øG-$8]{ә6 BgYZ7dd447aacf0342338c8596d9df36c08aa66c707cdb6f05ad5884c3d4b639d9f4b203792d5968e568 8f4009a03cb4dc8972f8428957511cea3c656c5be1a49eba39be39a6d30f2432d1e20f9f853d1a3e  HOLCF