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 bb3 4d w/]Noninterference_CSP:threads=2elapsed=6.168cpu=11.896gc=0.568factor=1.937zXZִF! Ht]ŗXf1-/6vR[y(&j-:6Vr8n0@Rm%sU{7me\,:)qT.6 u+(>罷;OBϨ{at  R b?`oK&fx\n048fS[!6uu~@g}yh=&(y$}벞Ut08A]bg)%_.숛eBḮ{,S_F /u9#4Hަ#NTαׂ64Il_GvMlL 4pŤ9N&(rʑ87f鉢H-kK(8^0NB]%3fC-"B3}&S3q*\"ܩmP,or:l>R?і`t=3Y:Q Ȣcrc Өy1o->ST]v,u{āȐEhv7ۂ܎]h"t.Y3 CW<9G Dr @@=xĘs\;1pRH%0$ .cA)ߝt(dCPu|𶩂w@*[uNУ;H# [WyiG=ML\#R]x pҩ7]G3|&yA>!i_>B0*r! Xi " !D~ gJr61ȁ1w_ mg7amc] ,t:'w Ѧ uFʱ34Wt=jhndjQbׂ e7E #5p}- CgYZ7zXZִF! *)]ŗXi%Tp6"Y1/O ER/ưOV!@n<%ZI:7z-.PF^ͤgf!҉M :d+EҎ2i)D/iUHEXz!}M^]K H>&-i7h%j&%'BFS֯8.MB{s^ܐI8PHSKՔ&R lVO|?yHdב445/\V(zW9ky& ^8e q__QfDA)LvXVvěN>?> &P4jM}-Pμ1y/ \)2wVPM3'$c˄1:իxG,-\6!jTC*?@ʘM|!zwϰ֮À(J5KŠl%܅xj/90gujnc"K_E)o N65m*U31{,1<^}fMT6*FOOw[5lz{?(2s@2IIȫĪkV3Ds{9$DrdeâH@ CT5CydAe}Mir9vJeTN gYZ22b267fb3848d40981a80663bc2c5f6954171d49 283774405382f4911ec5bbdb66d19b3dbd42d99c 43b42a3f3b7107d89f80b8773d0c3474a15bcc91 cbcd1445ce57308f4f2d27f4a6228cad8a14242d d1617ab7f6ce373b572c3f4401b94d09e7c0d350 ef1da747fe28e872563b4d4dd6ad351a77b9924a878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b284245769a706b524ca7ef69a6e9e0dd5c8911918eda534