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 S t|D ]% RSAPSS:threads=2elapsed=23.886cpu=45.184gc=1.600factor=1.897zXZִF! 7]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃ᩼3'tMBpy`ͥe/% UӽЍ쐱WXF g;iqArH:%AdY_I~D2 MW7mb\ՅhA+`mJ#5}8"tkAߕ,G?(Z<,/7ol@QK|2, P#GNzHf{ԯP)V q|;cnBDnT6&âwҎbjCsо ԍ۽9߁XvlH/k'{/nok1S֧*ڇsd%O^{YOvӧ߃㦕d^@xu:;تywp6YΆ-êizwFylLM[QpYG4IUJ2:92fQfl\zN2\gYZ7zXZִF! 3]ŗXiɟG@~W/o&?8}f: iфJn&J-}X1̓AoKƳH_Xl@jMH \G6lt,UbY!H[Jل'`%%beUȳypFaFQ_A-pɀ : u}7* !hoC/XY\T=3{kѹ4(&wx^Qjrs$&M`J\u7(NTa:v)>{MAmJ?I'gؖ3$cU MtR  cQU8i)x>F˖^yF_Bba.í*rUS(.UJzBVMP<Kro:N`a6 Wh8ǫcvZ},ƬUv5F%@ q"~;TmGh^E ,&5Q >{/>k`2C {?wtFLZ[VS6~',BQ2S \ (vV* @Q4%_ܓ_v*| %J(﵂T(v5@DjFvAAuк;!U3Q\swtu '_\Ajq7h4lO.B#ppT:a|4 WݨL@,41eKC@S=(fI%GY 3Ix,5s~Yx ]{h<b{vb"0J~*a36t(Mk1$;-39l#mYॠAlcH]'AmJ麐,gDEl~)7%dwX{Ʉ=[IE~z4`%u9"NK!ٍF8߈ M$GޟILmoN ћ!W(mJ ND|@Lc[ADCXz]B[b'-_1vݵ ]ߡ`Az"׳ 8m7fԒ-}lP7xORf7TJ ^) (7oƬ :5 l0Z9sZ{C9y2nM~-pP]Zz c7K[_EGx4G8Vk,60g;M=PiQ ΰ:晬ٱZp1]Nf美6=&Qj#  ={]h!|;$ ~LS,xPU7=~;ѱ+fj-/'g^s 9.+N KHS!o94'9Rl}ܓMuln8soc'n{R*>y~KHJ[_h6{b!K9^Ȯڄ Ń8"1?6,4n6 w\^fWAVpN|~q1;[*kqg$ I?(%Z)FE͐ *-)'|{=pFyزX mgYZ566ae8fc001a50ff7e2750e5d7db50f57305ca5d8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3ed685959535f1327bdf7d26aedd8065b9d7bb35 025b970b27954bb0b37f9df5c5a593170da80c50   RSAPSS