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 dT + HOL-Metis_Examples:threads=6elapsed=11.808cpu=52.452gc=2.940factor=4.447zXZִF! Zj]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓џR1'2i~3'}1UTvqp*[Iex]Lʄ;E8]/K6zBa"<Sijzk RO :JƆcI:-Xzfc&#>9a Z}>G H`~~ZVImT#Yful75twYKu`A:74n4dtJ?  ںdzBb);Jl#;TƋt =ûsҽ&/lԟq޾W;S7LPP޼=`S fF2#D8'+}Њ%~SħЯB*LVPI%+WIFi,HjSX1:΍Wk0[@"!Ӵ>' ȿˡDPo" ~fs p- TH[ T[9.y'&(5&Pf7"iE#EW"jcG RaѤ6c>k܎ L=Abm.K o1rxǎ0p G- ]=+ d]  Fd>i:Xd |?4RB8%>αNQ8CT UcqAˋ0:WabU=PBU&:r7 [zSV =s]uv(>~:=G]SH z\sqVl ?o4dMA%T>LGե $Ftk ͈ͤd#ΰO~7Nu˞zBOL,8L<8opM:2^{桑A;&TGi\8qKxATiM2ʌnY{;%X ^}-Xd{ r 6,Z7Km$6 )ɦzx&= XS½ޝy~α 8Im[;: .!i^4rsR7@8|(KN>2?J@If;5cRU=ׇi!=~K*YiM9S|lܸ3[Ȟ>JBҜ^S2އgp +[x OVD2!i;+`<[ZB# v  R6Fꆋ5b+DyG"p4ió@ͧ{9RmjF@j A@7X" γ%F_  !-o ۋ9=MR|K/L;52ڐؿr}jx(N|D n^K]l*Y"a<ױJz{ш4f ]JggYZ7zXZִF! 8#]ŗXi%6YEx [Q#̄~X|\vQY-T Zi"dˤl,1UxJ# z/y2NJuŎ}o y$Y(̷Ry*r6'&&M̜[LfFA8F<#$31Met|v/evМ06Ed%Xvv',Z7\K z2K*EaL>vNbՒf+YP^Spy$ uH%g$gh>nPu;Mkʯ@ ;Ri1Ŀ8U5,(ٔ^7-=nZ{wEs֦iO5&?:d?>B]̘Q= yUm б (WQ6ܥUe׻tAjXj{CQ,/@d'Eg%AX|<74\C9}BB- `$#~(t(3{/0օۏ5pz`D9s0RyN8X kZ뮾/}ИF/{`wh JRo#?2YH'$VF(GQGo۹h"Xw#' 聽Lڅ+ǡp{yR#h:ڗZ4)I_NR>awVf[A U-LuxP2_#+)GӘЛ,d}a()y8 [4]׭p܂4t-WS#p!o`D;\ Q\Q\Z~d ;&Baϓ@mC] 2>Ln yP'rIֈ3)apO s_EEۖ蜢ļy$k 0EMaRn<(V2,xҹdmJ^\Wț(5d']pzXE[S$lGyR坮鮩xhݻ$SZ?,J+[