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  E% t| ]/ HOL-NanoJava:threads=2elapsed=5.674cpu=10.208gc=0.732factor=1.807zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/s}3 ``?iBԘi4( _/T#yYBq&pqHɁxM*M6汶\4W5L+G5&BRqcm9],M~'たzW%w!'eZ_c}31PJdn O=U]d  lgYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]E$ wm)t ykUצ qPUl[[Ebwh8IA4E KGx+m<%Ey% >u͗PBm ѐ9m4:(sƜ+^,|D/eOgYZ7zXZִF! ']ŗXi%;g*7݃_۾ms}KN0Su$ ː Tވ~z4/S!xU$s D(q*# r(U[n\TvF|JF6쫖݃e'MAHmZ}$(J@U!u4sC1ooZy͠+@#xQյzᇧջeCO J;r0~!z\ mrWCx,>]>d3F}dqˡTo5EP\s>ټ2\7P='Ē{5Q]YMŝ?ʓy#P򞠻=h#(^ |D=|LӦxo,gozev@+r&XdCh9bȤ +Nr|Ņ_^7'~`3h6FQR-qg!9 jl'A]ILc5 7d5t}$W;ϡE h #I SA%qNu0~zRY-AĚ#<EXQtJ WC?; y7!Sgڳ