SQLite format 3@ .  YYQ77Atableisabelle_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, "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 [ Td c]]ZF:threads=6elapsed=9.773cpu=33.736gc=2.048factor=3.457zXZִF! `- d]ŗXf1-) enȈA T"%zav{Dr{8>QL9h[ xv` I{oF+5}ox}g),Mpnm u؟/'q0Mm?N׷6bUua %f1e#,vξku&vpfC1ɭ@.&mYۈ@fH::ƷNvUFGmFL>d2t0d&#WHsZ[Z>۞}?wZ{8ƭAzΔYEno7>mES%X Uٶ6)ٻ[yoF) lJ%$Z,&1]jtuY]S7_j+&A̭8'v/8U޶EԶ[;LSo>7/ID?lZ1oQNAS ~USB UvېrQ^u02V=C țby;V,$?W┣L͏Aä4zK'_]2>M7;/;)f`{prE3y~c1c^CvR>cżeLajϰ&TWĵpsHW2J8|p-»Fm-%wLoKl T V-H.^55+j,;ҕ0`${F<SƋ!fp{څ8_c|Z"rġ?h0hqBgأtDxUV" &|ڠ 3-]s?P*K+$Rf4h'W0sJWIryʤ6*3E>w_% InǺStWZy}DrQ5P8 ei؀2 nܟ+@Q_9y,ɭ1>}5D䂲l6Q1z?mc9_I=P\CEi}So ++CULa Zw}w/~iCOnKU&|O['1䨽R}" &ιQG.jYyu8o$ye_A&&ϗWM'g3~PzɱwIm.Ĝ ? %%)\x& !Df(< Ԩp!'g'_[\c4|9v[!vy%\EX &fP!i<'DK/|F"%ֺi*~oMSˍ\d NSji NZ5=Ը)GtvjQj\.Iz/897Ttl' i_׳^p=z'?`,~~* G׭3UwkV1ƻMy>!,N^srnva2x-15a%/Cà^ِ'`߱gYZ7zXZִF! /,]ŗXi%-ʻш^"CZeOh˹KXI k%"m c~\&d?8Vz<aHT弬OYJg($@qKjG0ԟymʨfᰊi;)y@AyZ:k'1O6ڵb"5#Bh0qk?q2l?Ch D  ZFq [36LzH w=Ǝpm|a; < 8/VrdOkw&Hb[rC!2!QY<jdr@A%ZՆ$R@.xiFj/1tsĖ뤭o2[].J9^P&+Oڨ:"Z7N@[Q }|jM ܸoF[t߫-/:25B3S 镀X7I'O *޵ˋ}+<0YzݺS3 OxK2 O7Mofؐlgڦ<[ĸ;^#!Ѩ1˒񡹏VfdR"O<|S I飈ˠ"A1@V+-PJZ2>5!l!5mDi_'iNl1U71Aj&dHD-Ih3倇=4)~"D=ɭ^_RfZBg:Aݻ~s}_H)(QdARO}5!s'ä[W8 ~zX6pkY`cCNފ1R<1T),s۱yR dleكK-!UL v62ؕЏT*JߝuWWm̨