SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ?OD< /% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.960cpu=3.904gc=0.152factor=1.997zXZִF! \]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYke0fjƨR}}J$e<[Ieƃt(j O3|Yh4QY=:0 w_qv $O HOL-Nonstandard_Analysis-Examples|?v'Vp ӵ)=E|ahIj?Xs .yd#p&X$ ( ۲\P蜕%>}2 E)9Qrr5+8[I)3/ zat"q U_*/KgYZ7zXZִF! ]ŗXi%>ul^ Nk$( ' q=tYl-208Q`/?>syLψL fClC`',ɅYʗe3* dt>{Zr]_轘~Dl2/1[b x8 a(2>NNuvMnH|ùN6,ͼT? 'N\h3 pilJNQy;딬q ɤZS},n1#x#7w4KQzR ]dJ̗'WO?MަCv5ėSOJhLd)F^.o_E=pYJO-Khj lV<ΣN' gB2jKH?&L 9$>dMiGd!2}NWm$B3ZN]/.>yA˪4=_Ho@,LrВgYZ7be4e0b8d094547b33c1e8ab3ca65bcf8014d49d 9fdd6598fd9cdae3d4d6db0633a3b26edf735651c0b8e48614befe15a89b7b8e44919aa8f3b0885d 71d88e0c84d4b227166a82821712d257eac104f4 1b90021a693bdc8de9f414c1264751ac338ffaf0 7d2d3ece7d54bbb8724024861332d5af07318b30 ac868d301b3e2c2fdac57d302f8fc215654643e8