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  D\ ] ZF-UNITY:threads=2elapsed=18.903cpu=33.192gc=1.300factor=1.767zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb,Ԁe`{7/\w .>T9>O3Z]v y W]Cķ|5OV(m{̃( JND8%;g[rb +`f^|^tj'̛@SPR|C7Y&@. 瘑N/抻 )w Nގg>3羵lX{\MlhkK.$B@CG;A)U[#edlьeu`kʧ2h̸Q]՚F3C ?匫j7Nxx9J{c)ޥ?-nnttʛ<=ƔJgASA;If`_VLVיW^ceGV- R sZo6L1!pqu7%Hd=@3Qs7\U.]=Sܯy ){5. gYZ7zXZִF! hZ]ŗXiɟ9 i:4'9Zfw4 _.9jvA>v'Ò&p"#taӎNmRi] k^vE6߉ B[6&`Qxd\6*9^k.-VY\<<¨?Du=>pQr{J0f-?tz$xiK+B޵!p-=#1fC΢Fͥ?&Q#@qvUR]d޾#ccB67+}(e82&; ^PvoըL uAn~&¢ 9P8*كGͯ|L Ej84%h@+k3KF+4'΄=Fm T>Cd r-|A\2W Qt]4N7.ZN~4V`C8[Ƀēz"{?KH6@Limi(5E|h#Q29O Oڟ#!h)I%cˢ 2ǁ#xG%]8cT|a0ʁv[(eՀ7Е-@J5ӟ|Kp`_Yȵ GbS  ekiڰ;0=IpQf)+sL I;k*wd>sVQ؂`m=F86$KgⰍPB ${35ys{mmyȧPrSq21S0Ϥa{E##%Qh=z (^m DziP0ՉJ-<=X$bb{(6n98QRkyQ,jJe