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' L$ ]/]HOLCF:threads=2elapsed=15.658cpu=30.796gc=1.840factor=1.977zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_J\{x.mCvz +PbASլ q_uv=N{RUnQեF\`ɌSې)IzˆI? zĥX`JW{L1wJ >l8 8ЭcjڝG5+?AP=FSR~Zi*"2,-ܬye kh0Bsc\- 635qo'5D k1!\ɚ$&򔻋VT7@%>wͽTY@H׷sgߚRSmieK!"$o4 1)JN]cod:ZƎAǒN'd<㋕'ծ28*߲*0)*^5 vЩ$Vi3~1DZ~TN "x6mDPתX%h^ĜHΪZ }<:ۏv:- YRpy/# p9E:? M?QXRqZ:,J1Z?Ew @b޹m$`C5՛[7s]/,;__)pHog`84R2ugYZ7zXZִF! A]ŗXiɟ1˦r~KunύNN{vo^G,sSKn+':4)"`e%^>3ă,zDcX<ԮR(]5Qԃ#Q.>%n%-& qV fþ;2'7WkcT"'K/aZKii+6  ,\fhYɆtA-y&˔7+ LAdawb|Ihm1C. &KU7t*9 nJ )/Y YQ+c|N:f Ynj1yX`fL4shCoLs_;4m$2SӫsB 9V {`|MN.7c7ãaȔf I+?3"Io{/=#/[=E}o(1|\_ `TgYZ7zXZִF! ` ]ŗXi%;Ű L}yKjm[U=i $ &nc"qdžRZ5zKyhiZ&{lN(f TqKzLw+Ip5o~0Z<L(PŌ zG0DDOX!F@7ʰu>Ʈ%ms3sE 'q߱o >Sg,:I:Ĝ/jJbl7X/raYa>$~S_PҚ`ĕ~%QKk^>9:bJ H39 L5]zڵ)SDQWFݱӀ6]r"E=elٕ f ffx ?b.3#U_qm5/5 t$tfm7~)=%X#Eo'rSb0H\znFGx[QR&Ͽt|Nn:Gh~)#~<_NP`cHN N* MzyN s`.'!@Y3G:T)xLLJ))ndB~B$i