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 y+ \l ]/ Strong_Security:threads=2elapsed=15.145cpu=26.568gc=0.920factor=1.757zXZִF! e]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TCB1iޘMԆӳR/)T߳)m7}Nua_s=mO훁) 1V+?_wxrZB-|@Vaa,SaӅlH%Y΢҉mP4[};JGN#M`YC~nj̝a؟:@M3~B`UOR`>=؟-̀} c[nt{ N,/c!XZd+W>8fuH7d.g*6w#mCe5b|<6S8"X<@-tJ4)*'ZkRKi2)DSl q&t&gYZ7zXZִF! V]ŗXi%90øfVCմȱ5[灀`j; A]mu=}6U{XN>w CECGcʥ~B@ErA}8tTCGM!"Ӏ!f/𛆆.H10\28B~㢰5hB}"wYj2wRg"5Xɛ1gJ,&FMF: R+Ԙ׭'ěZQJ@;nB~ ’s^ۡ(9@(itz/lvxchH FMsn9 GD]4C/ ". x^=9g\ LaX:Yk{:~h+9 )v6ڶHIybuMY_oR{eMOжl=Ul 6r'JjG1Ƕ73_P٣:B~UsxCk1+'!٨h.[Go4Iv<.V/K?eKxQ_iyΛ!n%t~Mn~t4q4Q}GrS^ )H'*Ju9e:6z+^k.3+ngW: Gz8ya[z"1s0 \ux(\B_ȇ>:V&0_,rz$eJyD*D.&pſiYo7D{JDI3\,za%٦˿靪+7,rjbȈ :Էtw4Nsl!Spk83oZyթ_R;7w?qSI'j #<]$ ygYZ94c827fee23aeb01a9875aab70e4d1baa3c1bf22ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 + Strong_Security