SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 vv $ ]/]HOLCF:threads=2elapsed=19.503cpu=38.352gc=2.520factor=1.977zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_Jd'#nG闓M0+߄C$l(/2 OS>:S&#sPр`+ͨi L[D{8Rzctܯi#sfwþ sJ+`pDgpaB|658h4Pq6cĹӨmWhT+]1zMd* u;Sf'#rzw& qxbe-r+m`5'H|Y^.< Vn $Je[ 粃cy^쵧m殷˕eaP%"[OINk#Ͳ*IhSFyÎM7EW=CH-fSWX>H ivwmC{bf  z NգK"IY J&,A7~K'1Zuq9BlTݪDv;Zc ,Q 8=xٹm„.ePvo9=.MG7* ոrA廡uTN:C| s^ Vv=9(zGc2T  v{WI7t/vKtYY>vyrl#3R&Еe#WűgYZ7zXZִF! K]ŗXiɟ1˦r~KunύNN{ɞ0%#1dMUsgI8pc ;+5wAOu䚸?DJ4(4O` >t[6c5tvT_d0CꯊTkڅ"Vw2Sf\m2D c#J.M$'iOfV챽zF171D/N4UHjdۻJ>ߒEjp.o0{4۳۱Hzy@yL#"n;#ЛV(={[|7h B4ɻX%ZJ y>R5VK1} M8;\*gut[UՌIbs].?8YoTvKRF{Wx@tc?,Cil32K*t$`K27T Jb]J%$h}JJCAZi 5jp82988/L:_oy%@΄Q9/kbv@ϕm%* "CQț0xVA /z6\ "ʁu2yӃxiV 2JHˢQ~%sbIgvb/\&'V%l:2u7oԌ]#Q|c_4Έ>$LaE$z)iLд^{Bhr(%=0tPM^(z]IH>Nlx%r20ҭ._CT#u!TKqE9 2h 3998'Z/b&]9eLȋx#BߠR aVW nWɬt4x5XrъdMX TA$ʏ`J:k̂'zAGf(-ӧx,R8ΰƶ/v=.>{9;=V% &b!iˈtfN1RJ(P6(N?uɩҶM}wTmTZ&2|Pg.M~ڛbOhD|ZZInu>x