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 YY$' | d ] HOL-Matrix_LP:threads=2elapsed=12.341cpu=23.716gc=1.060factor=1.927zXZִF! ]ŗXf1-q恈{RI $ϭ N/Xt4P-c'3M2gB"YaDhoRa}%X:{A!L6)iv#p.bvE5au'ii)xBHӬMlX5@~^8WEgYZ7zXZִF! K@i]ŗXi%;ŰA/V{BRTH}Cp®'Hv>dY?n-ta%NߜldYANj}L)SLKqo<7'\|8J( `AQ4 {:Ty>5o<.Lϼa9,Kq t^z ~v:A(sè#%%ik/O-7yQC5[/8,߫i_iު#Rd֝ =\T|ڟoaԆo!85?G MPj2ְqc;*!.77;h] #e8vrxFAdF3my Xzg ÿ<{<n]+Ԍ8Kyxfm~rS.γk::3N$CeRAm񋷵nci uhhMVcKYUZה GcQ5X&'2"%ZJeNCؓeI?ڄ(wu8U)zH~6!w\ Wr)