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  ? DT  Program-Conflict-Analysis:threads=2elapsed=47.051cpu=89.428gc=2.864factor=1.907zXZִF! $\]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CUjJrJ8ssRd2H+MtIUգckO-$SW-% "up7wZ6д9|kvLgh|J@;rASeQ!V4\NBQRbH_R5_˳W~VM2% {q7Ct4Qfh3Q+茪Kfrvʙ4 o l%ݜ58miФxGF ei%[G ? Program-Conflict-AnalysisJ0ލI6 38bc^DH$j?ӆt*hXţfqQ3a! rSc 0 ϙˑC"oI+ͭpr Ok1)V$`}a̪7SJAHRcFD&.d,璜nx)’+@gYZ7zXZִF! ]ŗXi%6xi[Xb\ni;"ɶ.91;ޚCQ5ٻze;Xv ȖVPCӤԦO)G՜y^~ 7"w¢uR\hrCZ^]9H ut $0|\Ap$,,3mbپ0 cxdzbs%Q 9%Rj%g(cMzAT^.HA1)Ւtɍ#k947#p LY x ryt#7PɅFjXyXû;x}@7 小ғ Z)28Ӓ H4: JUx ^7 g+n֓Er) Ch S7IiMFKC_L9dVk:m@8:Ed{ҐYND/"<# F!˔=Z4ơhOo6U(j+h^y6 Xnᮧ=QLdyJNlU1,}mzXM7j`SUj2i#wqA#9`qwe:OF5@.]O` %Zn);Au {UP.Y_.{)Wh}&,د{)>;&50i7,kFb يQ' ӓȓ'$j<{t_M"֩_i TWc9@!H96OA0j\"{kc[ zgtTg <6]W ͉Hu*i,D#F-hg`rBg,< a^<3zeT+e>7N9(TF 6Ǔ>.ETl*"Ý}ĕZ+U z?d5nCA2a9c>V=VKD!s#NO+KT EWt" }ܗ ȫl۴8"*?tB9T|M¥u͆S1 2h/ k\ZY8ƹ]z;Ra=e䈒b nfmE0PӺbuZ98lJeWNG] 7ٿZBNSIܮr&m8l:«4殐u{P[陉ah?ðY}JHk*E nh׮LN:Pp=~:Q $35[]֮%56ZD8v[T$*a綾a=k5 r ƭ8kߢrkk&McqKLt׈ī_;On5Bs0):HWobkvl̘8`]v2 ޗ~Ru-bH?^iyIY[euiX9b&#󒁁">&$]Y W+a}5. i)^LǞ13;yBszmJ/T< ze0 r&Ca$6 Ӓ3 @k-;vM/\0Y5r I%Jڭ/K' `4J*Lm[|.~A·Q-F3싣yLU3l_zׄys̽%5dl,>2߃M&ʵ(kؗQoLjc(hq|+ȆU\QJqYY 48/ǗjBe^±C` 2Xn4}ɎĩH''s[3^]y7TD5qu@0 1b@8 u GeZȜibYNd7FP8BS+hyѵ/;,"OvW9]7\a7mj( )Z<~k78HCcl+L,'Yd{B9=- e`sld3֒~BZp1};s,u\BKMΗf0h4N8Eysݶ֗Hw%'O;iZj<عJ