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'+ L< ]S Euler_MacLaurin:threads=2elapsed=17.308cpu=27.420gc=0.600factor=1.587zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZBm tV 9pg%^WK{7sG0.[J3Q/-^,N*@M&9vR/̥Z~X0w}EJUs+ջ^fۍ˚4/BBͩהؚӾ]l^NOen\gYZ7zXZִF! ]ŗXiɟ ؁#dN9ԝLgs>oMM?_?/\=2V6=`}k8ߕ3wf+ܬInȠzXH؆-Ow"$!_e f/V ;;&:n;Y UƼ-I8 0kkE݁s>E&tZY 11Oxq^gYZ7zXZִF! `P]ŗXi%;YK\çHy-+d>S-DS&e1"C !ptTK)*՟F3n:$Ҁj+ZDj%-HЕ=1z"OK^bվ`դ6Lzl*ӦDt1>D gZ.4 h-E%;R ed{PSHq"Q䌶,@mAP#TiPHc(gG%FKLn!/ѢMjpFB!w:EwS O؄C&ǕpHCC:}nm]|%} 1|B,͈!mSkDN^k>Jc n###(C~è8Cٶcio52k aj:+AjV63Κbs7 )^~ꕖ3BVoFH*NrBhOݕ6mvxMfS&R)֒xpWXɮi@K &)AWkt3H+>z,:% h7?4 [v>P-={eD)y7[?/MxO I_SVcыgq|z#/YchJ(kIS%BDTM̦#jDiz*^.˒Kwi^S.Qm*6kCgSZ"o}nCʬ$C{PiqfS1_f ),ci6Ce?$[\1=8`݄WSfǚD!5,as(-\g2s?AyG_$;˜лE=m7͸Қ[Ystq[Ri.QY1sh݇]H@SAJ?fM8:;Eu2mRx*#& ɗXՉ:w*\\2+ei |A9W'^'֏d:^C_>LUJb3NyV2lB z+nG|[evpBc yns9}XʛO2V.ZC<oo,իepCzK2arFl댡H:Ȣ/u/Љh