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  L-d  ]/ FunWithFunctions:threads=2elapsed=1.333cpu=2.328gc=0.000factor=1.757zXZִF! 4k]ŗXf1-/6vRZ#qK_Hw6ԛg<_78v4!B`&Ѱ:XYFvOʰ Y }`g*EwIiў:gNb˳ԱgYZ7zXZִF! UC]ŗXiɟUXvD@ 2C \7c &$ ki#xY!MG$T{_Vq}YZ7zXZִF! ]ŗXi%92M!A,wyG+fؔ߸?` 0hݞ&T,,<.W; &oG..POG[#i]REjڋv=(+^oOtGPkuF|У`@09Z`+R657@h՜ tD%F( &[si|~7Ǔ e^ 3M-0=JmDZZ/ac#+3] l\|Ekyra ڱ#]!i a&ekp2倏,Tؙ!BiˑciM Mz"Si&=3ZzQZ" +}6tf0-giq!58y0Bq3QOLYߩ1 ="72"u-1izbh%SIgߡ͊aߐJ&ҹU&4' p al b`y <=н]e<0 ^LOEx?,.-mؠgYZ8622cc1f77ce9faa6cdcaeb249d34cfc205bdc1d02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 - FunWithFunctions