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  i% , ]/ HOL-NanoJava:threads=2elapsed=6.293cpu=10.312gc=0.624factor=1.647zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sX,UPV="`8 ^}';8~V`>|ܛ`ʑÐ q=;Bm+G:IO[XA%vSOdWj"Ts,>T']35꜔\z⼳njP i$(ȁU'lQTn grgYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]E]ۛ}Ն- NI1 )EF]jaWl}IY {=k@E^:˻ gacpסLBeRIWlw08>^,%/Pju?d6Q f>2!|q+6ͱgYZ7zXZִF! *& ]ŗXi%96@ƒܧapD?l,ND0='D_X #T-uyMdY&%ST8N>^MT.\\Č@*~~ズ]'((۬/J@rY+TZ9E0A ѫ@[Erw=4;;] ƪ^6-]3r~G|vrrtq N7(lBmFcm;I7\]ʧ(u)y KI=mvj,̅D"yձI?Ic)IO1b/#egZ'"{"6+A(yu6GTS{Ƃm"Hy AA̾\r B}oy+B\r tDOqq\R) eZX^"9ƤreF5DUlɶ97~cX "=^5w88qh|ᱷU)OթJCAv) 2T' =[}`P& MP=}V~p ]R\Oic{N/P! .@{c dē;@v"󭰽w@ KB)rqnls 2nMIZm,$dK}xl IJ6Y96`È.>4=pYڳ? E!I"QPOaQiM\*{TɱgYZ5246558b5206c6b48ae85ac7769721e3c6ce4e4f3fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de % HOL-NanoJava