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 -  m HOL-SET_Protocol:threads=6elapsed=21.602cpu=88.704gc=2.084factor=4.117zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'nS56-&S]-O[ը67QM~2X[~r\o8Lg )fte,dOgGAx~IB*18Fe$.3=69:X PJ1f PٯF{K]8tqע=o2ud#!Y\sP H1#L,vRkLӛIG#7(.v~d-2fz@wnT 4ts1έCVgxgB1`~D@¥a qD3b3k bP[(rw|o;"|YاmtX^C$Μ>OZWQ+: `PF3gYj^DtI7*_޺FEtfyܡO VԵ$#~U$t#,mq0-,%0Vn(䬴NoJ[Q83DM.*M&h!RKoH$.L+q͞, ܧeʑTZeB6YxZKVq]W3R㭟ǖv77;Y†V_p\nĔ>*.zƵ}cD?70{H9x|9;Qkvyios\טQfGѵ<ZwrTDJ +;Ru;j!sZVvjujNS)Vc`5 c$fSO) 8)T,Ɓa-('vY$U#݁ޔ߸Hxx\ *? T@%eM8?[dyupq$ѵz+*c-La; R5Q;=gYZ7zXZִF! g]ŗXi%6pdo=m7g`|f6,?slצTO+$uN4*>4 #?ȃbRHDnk԰M &ng|d* |p ICҼwZ2[ .dnL0]h4= ږl#ͤo Ϲ#1}qvP6%:}*^4N :%D~vv a-X?Laz-sl_ mb!~ĜAlLz n#Dֿ<_ #Pi͢ s_X/D 6@.0M'©Hu}bNTcW #Xq iZh`9L4! H&SGč%& ){7Sa#dLE_R8P,3!顼{PZƒ@jt&,J&odN.?o]~ܬGa:KQPb}<^WT)vȔvv>PŅrxT‚ˏkpr ̿-h+`SSJ% 6)opoϱ`MA#5ŀՇ7tP %O~a3M2H͐O֭1%x8'A wRMNpm-AXe]$ n'],':U3*=TN6b`Z, *pl[kagq30#&*2qh[+hӭRq$9l$%Bye(6K;8 σ<0yZlHy VTڥxQ_%WA-n,yFhM)OJAA#K~$TY?Fj!Xv 1ۘZW.Q)Q2224ox,įR4K"(e2^1*x0pp' A;-qFq+ 9Dr7gGY%/*FAUï[5X nP:h]ic ,X-C>w@'-/#/f+OY_֌ծ&z&X !icP]FY}Ρ/ y~o~ ~lxkrM]^fG8;ߡorY䪦_&UʙxыI9d_҈of13"atgXa))FkBEZqucdFvCu oȂ7ȂFLķP DS۟d\Pt?X{lc#*bPLj8"?Ҭ Zr|ztrDJ] (OJCofߧɸqd{'W!%`bClgYZ129299d3a75617b6c744c495c476efc89641aad8 36494d307c248c817fde43436d49bbfba97835d5 4ad975a0c6d0ac01ca552506f3156a4715ad388d 67f492578d910605290e1da51e43602bc3b1ea50 69b45d7337557ed1bf01135423d2223a86f0d9f6 a650389acd45bb9b7a6e65324560def65f4f752e c9b1c655a002a34eb8eae1c01b73e89464f1ab22 dbf379167f09720bc859469db1aa48b17d08b2a4 f77aeb59cb532ae17550495de1af64b6798fdadc47e138307a85ac5846b996407cdc8fc80cfb6399 584c2c37977e4fff9f8870d3165d4b06bdd3ff96 56fa590aee04ad8a0d6c3e2777d5128807bcec11 - HOL-SET_Protocol