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   ld 5/ TLA:threads=2elapsed=17.948cpu=34.248gc=0.984factor=1.917zXZִF! j -]ŗXf1-/6vR[j 84[ϲ E <,S>4 %v_cVpyKѬ _br}fKkʨiT* KUQ_RÂVbk  TLAtY4i}deFgɿq/+3ʎuЮ?ǵ;,խW׵Cg>^ώOex81 gHH}qAU e@To0"\Hpē~]ܹq<\K,ߨy_>UoS70;/]}NIw(eV-?~u< oKO[3آNjY>~Koj1(r%爉r|} g eν_V#whژUJsqRMK0X;4ޞX`] (_`_)"{Hu䀈$SLB 6,z5=ŁLFuڼR}W{ =1xs{F|jJܚ*e_qPOhO哛WM0N0v%6/6$i%lϩ InY f{),"Gk~6Q$ >k=! Hvg6ș~7$WӸ #CgFJE/[TswLbݩ_=-M̩'G>߈ȋR#(WK>+WA]Ђ"pv`|YFb֧jbzDpOQ-i"nMT(a>sO^&RV;\'Naf }R]xU/ Z=}8~Hu` ]=>Z4p=|pkagݵG&'J7(8oYd\.U=58w3tapFr+#X[jJ(P3+J|x|`͌vΕmO 6iEo{5J{bi ֎4/.jR{?ͅî/`YX$=B,TQ#%o]Z̘?QDa)dn-qd]Hl&|v/tkltvi&[EҺέ >#:_s,'Ք-o>c Z􊚮PF=XBKwsks2gSWaN{&2ʗXvϑ(Nؾ#mjO]Qx· /^.D Ee{%Dt]lF~!}i e%^/,Hz@ pqanF6$3Gt|]t_5dbVMk6gGY 7_aNC~*4" _9ﭑy355NYv-9EX0ZR(l ?-TF>K2OM+t - (6ťBv!h^,^hJ=w [9V7-m"fm_A%*{k(0y;{!wjYB>gYZ7zXZִF! e<]ŗXi% 1 PdU=Og͜2Ƨ]IA}evaK*z4 =wwѝ9*:a*0^};2Qa'u.YN.ƳfNIP&غz/ÿ@V,~H@Tײn/SH2Oh }8R.-#ٶbؚ(8<^эϿh?)Z: }1ߪI)NSDatąĕ]2˲Ty.vc 4Bz~"_jGrLm)UX͠EZ:-0>O$&m}B  E'o@kNv͉#~H٥ۡTQ֍s#]HE%b.Wk?jǸ%lդQm)fN^Շ'Uk y}r- Ԏ2}_>x;k ^v&Htkd*/z ~wa'(Ħ+;>񳘠XǷG΅ Bi"_]S">{yC.MX"̜cGXOXo}qE}wNJĭ:Jp+;y WH&hN-+:~]9fGAFړA_ޭCEˮ"W鈃H\lt KDy% `r*e[h7AFdM& {fL&2p`E>+}"tN!y͑zV&tA;%ԛ|zbv~0CujkRP$f=|ү)eN8JJ!˽9/[ChUj1&ZjboԢfB^)uSQDuSyvZb䛪}*ܓ$1AzmA8@ρҧ af>}%v/le0| C*+@Pc+fa@a=TGx7ϲ^!|'ӎ铑ʗ9{QZ>;Ί_|hZ=6,