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 1 td s/ JiveDataStoreModel:threads=2elapsed=13.941cpu=23.588gc=1.108factor=1.697zXZִF! C"]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{z/mYᒄ0(\ oUس Wm2ʩ_i#Bom^bِ7`%\O1թI2:LɏiU! -cm3!I nWw/TF}`Yn6X9OFZ=r=WS5Z,~즶\w+Ax'X=e撁\^FF%W@$LilJDWwQ>D=fڄי-߹CJ֚1ENy<8{}3Yޒ*tw?:(X6V-& TG&vNY(B1^ʝ:@^ |ȈY Д-%W*j/"#eIhj8>SsyhB♐|o%*,ſ & hn~wp $r.5J9ɔ@-wO=J{5l%ף FfQݻTةM=pn(ec[ح!1)K`tXDlQ,1m0V?iu. ;tEF! ?m6?A.7$PXD:խLnR_-v)'EgvYMC^̷c+"^RQ _Ƌ60]+׺}\rA(/M82 p͈e囕%%9X0C H#8VHRHB_ G.e}tX$qf"-n3{SRյ :`Y&>2j fMj_u}ڪS9&YIdz&>As._F'̿If↥ۢY^yѕAaSSԋJ֊G9 %&l匚~ܴT>>Iߪ6f3:hFk.q0:| `jq75#d{gXm?Qrq+d ErM:mI[F5K!Rc KmxQ`Ҙ9bwpĶJ_X`Yg4rZnR%%Q18a<&niM4 ~űgYZ7zXZִF! K]ŗXi%n8I< ' usa\?+$51?툙KmI@ aЁE==HUOt$YB4|N-13 #R*0;sSxOTA%0Nk'd Bhr)%|V)^2rrӥQ;̓7Jl" >Jg3JG{pSLb;K N a$AkO][]3ap 'E-֘[il\}mXJ;g`~7#ۣH^8 :dAT"a4X'Fal~ #5o3:9^pSN]x4K`E?zZaObGq }OBCѡJlo/dM}ysK’*-ȝxD(._öήU}AwSSk/Bƕd>6Af2 ]d8Fe rՀ\nQ&Db-JZŬ| ?5RXϾ%CAs*/j"5m>9AT^ %misZI%?IԱM"b ә]uțܜ:qm,8HԼ+pl HY]<Ж4GJf@0jޏ]RkENSxϴy; ?XtƞO7]v {YuƼg.96E7C 0ҳmeD?++[oMZqP. (Pˎ%Kɨ.80& MC()LR6/1=S5[jQƺ B![ݢ,MGSPIm'5fLnPFklgez Bavz,cʼnЂ;+RTVR4KsesF6Ww3AƉ'$6-;yȫ|Ѫ M:Xaf <9_][Tϡ}Ӭ{ޡ2-5DXXb#y=:( :ƺP6\q@jn5ĹgDU=f"D]* 9 `