SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info \3 | w/ IEEE_Floating_Point:threads=2elapsed=19.463cpu=33.244gc=0.484factor=1.717zXZִF! Nf<]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7zZ~ M"d65>v 3 IEEE_Floating_Point%7frF}n[*I Su/9MW'|+Vu*ħCZ|M朦FMm~ [ 4(U\}fۻRE$CPF }f4-mCohq^,.pzs 0bv*1 m X,22OSO{jSN<\$BwlFӸV0{jT&S#JC(t’MF9't/* 3fFl %ˡ84ܦ6Yk\6~?(46u3 R ?]{$jpezyy.g 4жp8h=9uDRBeܪL'YՐϹ~w|^%ѷʕ4$9يFǴ]4U 7R{ g$qBogKZ]wHkQ/! !dS/l1ۺ* .ML*ZEAk*vQmC&!(M67DBWhx ^Oc,iXRi%a8|kHV#?x̎R`x%xijǩEV@q/){fw iOր5lCT.fJVAW ^!J||JS4PC"*O@+ϗQresYI ۽"m pZ&I/ W|(Q2Gw?3r No1G'ԭB#P!zzv+u:wzaP]G8|Lyd%m+z_1joEbƫ6NW&GXgS^_ۤzR:}Y}Vp6I=.lKvܾ'P€}hqLxS⟚š j[2ѱgYZ7zXZִF! g:u]ŗXi%B׆2 Us/-w͚]_i 8޶89:tDYɁ$Nn]&92nG,bxt_5 k2Y rY , P$EPʫw@]v,Z8>.. Ri/f2@(i'*?%z,@U^Q_U-X''ncV%RQ^Wg~qόhk"k۝V+Xbulme,켧EĜ=uhe2ޜT\eyS=PͻM1ŞU3Η/&rtgoZP!T+o.@H8cs!=%\ios{\cp1'YT(؜=JʴMzeN[UccOUtDbΗMѮHUGyPe<:?G$cs87b̈ G^!fz&@*eχq%E'Fw8\!hF'mW^RAQ{7xg _pX?GH/ 5ٟ6<vdn=,>0 oDn))M/1\<~NbmǬm 1.fu) Қ HJ[]2>Tc-VW»<;FFl+5kAg%Z4v=s1:6Ūw:`xXPjwiaq@\ ٚ1$.!zW/~L