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 ')D %S Multirelations:threads=2elapsed=103.392cpu=110.392gc=4.308factor=1.077zXZִF! 6]ŗXf1-/6vR[lRc2qJ)=?$~)LX9u^-}z?G{I{ 3)o(SA_#juC}2Q*n'r5jsI)Ŭ(ő.eӬ(w<_ZQ UDS # iBe))z} ɔpUO٦zگ:-s|1볬Xӡkh@t|]#ѬRy^RU@ݻ,&Ik[3MDOMoM㘲 ϲNI,_|f @ 鰊h:twٮہ~eY' Ǣ]a0}K5 ,fXF: t s6̂*ۢBxYeP=- {NnZwd1&18 7IEpnngra|V R׺C ]E7Á*rk h/uG>Y; iM[p"Jn$l"gu=jNm'0v΢''QKdAP>&Op}S5^2Eé<1?ʄr FLu hVݕ,fo7Wnr;a˃Ȋ`1=$`F+t s6. ˖;[,9o% t=#1' OH<4><K_((<,hiIWa֑<;S#&[UI:bpW 8tV Rkp'ɣ( Qǜk͵ŝ ҵ97dAG @2yX0BnȆrz+~ӥ¹"ˤ|K(1!j嶀uԑC@/2צּqikslym-LW@ m gYZ7zXZִF! `]ŗXi%6T@CG{3? F _w;T0.Z&76Qo}B#5[:QAvDh|wGP0& !xNe;[fS f!BQ-29kPSɖF72j[p%d.PEoj!rNBBpx Xk L4/L?>9 DžVkk9wM,i| 7'ho?j$asQD5JxDitCU4k('%Uj~(k(_L{fc+BZgXp3 p] ѳ\STKٹ#'8b:O'+L<> Z09i/rJ4"Guhvktcub9|nhuL.<{eCu37q'cymW1ShIFL/;PF|J IvK`w,Dvl$o~/%XIL0 Zܪ)N4o] o&=gBꂅ <|W%nifVf!sB9KK'tg;%,儴C"[x7ؒրYZYMf0nSg ]T)y\.m\/ w[1_m\ wb+ 8Iԙ$R:s\ڸO.$HZԬp/vvzz}Zz)R]IdeY 6bVZ;O͊X" \.SV"BByBMWnBq ax5q'fqW:3 Ko:- -qRk+: t<&+4dcFEur/|D~Ax!1,U eK+fy) l>N߾Q ) Multirelations1}WQ$ V+ut >g½{GB_CU/ϬŁPjQ$!XH;o`#"cGZ6+ЀMyNS^Ѕx]}Bw0Ajh\!h)%JN5TzAFT 9!PpA Q,UԉGU9m< =GSj½u 8lx.dnz`d=(6\88Dx]yf[tRr_B0ln&o*ܯ_ngPEH,;tiSuvP= XJ8(5s3鹏P;0"c 'DD  ADOsu9Wba;Q\:0hkàk*K+PD?A (FMV:芜pDs݉cvDy"udPZE8Q@*@f94^O=86pfVˊ5?, r %<@%bh/}IaPڮxO]w^ -',21CY}CԅB~'m(?>—0QԖؠѢs{t"ʲ*!sf ;m$GGӆOmxCH>'^u1jĉ0T53Giwۿ|I]y0 w2uhx+3eZb3ezVC2Qހ#) ǶးD`P# r;PncNq6WdRj*hg\+z}ޚ06,/>'cHVoUb_Y{5:nR2ǐ-RvwT`$@/+bpgCqƒO]6w٩19j~Uu70 2j}Qj e3njaDq?>ľ$i׌^xr>;m:,9mR߷!K"Fd⅁0h cύxMEpQW M} d'LD uU