SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info pp}% \t % Finger-Trees:threads=2elapsed=15.915cpu=25.928gc=1.836factor=1.637zXZִF! T$h]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgG: PӞV2̘; =7n_ =~^>INEePMoJx14TL{{8~` SkZ,z~!~ Лjm{y |7&9ѹ\TѧOm>9)>O$긓V u Il2dY5hNFk8^;в6*<=V Lt6Y+cf̘0 ]/jLOVŘR) WCT\r|*a rX %LaǦ|I]\:khҲC̅ hƪW[`d=t; ĬjY#/pGGbX waymN D͖-:" &[lq藄J L${z9)S> d}zm!~˴h$YY A~9n1 S('n;/f_fa?V® G~m!p3\x1CsqR3[? ǒb=؂ eA?'.T?l[X6cI!2OcY-U/T<`}`d%eܦ2z.=yߕ *ɒ:$T8y:΋Xm\(cFQTX. s| S6SareZŀ4D,Βvֻ0 8%V"qL|=p\(c29q&"UHme+&{-T&R+O㧑j'ÏpO9:˻ ҚzE=e}p-Q;Ӽ)$Kw~N8rLk(W]Ž{t^o7Ʉ .~_ܕdMr[dv`̦>znO(RzGV'e`d:A$B׌ix Y%tQS{CždQ ,ة i& cp2iT &5^Xf# RkH=S K17OAhD0lOq>Ǘg\sdu~f,!·\pz۔=;F?hU܊=0%G c+} B ^iMqmvbZ^7=hME`P6ԙW.m"ymrxpӀ4 [oJ1s] d،E *Mqb'o$^ %aitn9 `Ԩ,jCMMoiiƺZ9>C?O~1w|WJ(+/Uiʨe(_4-zfSZaQ"J1W.JMr*pDm>R#3^ PD%gYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 b445cfcf1c121742e2f172367878a61977cb5614 e7d0a2fbe72c28b66ca28f23523dcdf5c914251119db22422d072d942dca4f79a146f700713ec562 0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b 5ea6d4c9a179122eae31fc1e8edfaccb5e6cc241