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 xx3 < w/ IEEE_Floating_Point:threads=2elapsed=21.794cpu=33.548gc=0.512factor=1.547zXZִF! ]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7~q{G#G;#&Þ϶D~F"P^n6oP~@^ ͺċ]E%^1hFńsQ/W%9ur,UXzkPob j2 KQ5`lLJB+0f`ehFUa;зFg>R/͡Z3 7|EPfZĐNg &--g/B"2}A5a@ Èž[nwB@u=Nm<6*e_ÈSn9rY(#2$[1?(,V~sMF_kgYZ7zXZִF! p]ŗXi%6uT,IOf2H?<܌gAP÷ M+x@7o#kE\i|Vu^>C;E8WӔ$a} nxjWH}nq_vz$ }Zu7A=;euXf!* X, }p6Qj)zN%@9N8j$>5:邗f|gNfrg,߉WͅJKm뭌U;f1t2!M}y/3ͺåsHlPE0?kGfiOeIʽ0=s{k,jf'bH|4קc3f$]IQAc{"f!pYm/bN$~&D6jȰ89%U>mGlɹ:1V%9DR+8;|s@_(DsGGGx'-/ A<&B0cmdaS@y@4/+'!}n޶us!>%(o0Ϝ>g؃X|bݷ\pA˩285IKLlCzymz^Lͦ^A[~ۍ]kѭ0v8}%ɚd`8b\"g^zC_P 2>Ih[bf-, {$(.yK1[C- l"g=>lg'Tm􇧔m/oh4Ue%28t/| [h]L@#w`!ɗ=لĭe :{b\/f4>^Z'5w8DǡއRU"Aw'uBv״_h~ne5b ϮN F[0w5rw84]׺Z a'!aEzVw_Ҩz,=2 W:s  ؜4sVqFM G=429BtSK@dw$|!Pk1^l1 ʞH3_Om7*7/Gp \~DB[a'Pl1&X3;)x;<h*˺h~:;s/bgP C-rHDY~01g&m TgYZ52e58de7f6f6fb16a6433604b7243bf110cafc66 739604e7b6371eb898e1f79ef9e18c789ea4195f 88d48bbfc3dd5a979283b2237dbbdff2a5915fca 94eee150f6e23efec055b9cccd65b0bed6c814c0 c305d1519764c5f5875553ba77696bc8d63ba3e5 d1f859c96d5de7b9b56cf79764e40635c7b52969e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d 3 IEEE_Floating_Point