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  Q/l ]/ Max-Card-Matching:threads=2elapsed=1.598cpu=2.732gc=0.000factor=1.717zXZִF!  o]ŗXf1-/6vR[tp_S T{xx̺2>&]!-dN1Udz-pA#cx0#y@ @,>d9B8}Cx|gYZ7zXZִF! NE]ŗXiɟVĻ,|WU9JaVG QI=&H.aO̳}YZ7zXZִF! ]ŗXi%;m T9> !`t~ vUӌl+hqrbd`'4g9%~ e,d\;E x=A>Ճ.~`XU+ 0М5l@N_n)fCp2HI+ , {q[8Ʋ}B'|tńaI]fb'zN}yP?<fl\*M-eC2!XNHػi50GxR8$#Jj,rb>ˏD褘RjūDjQ?P& L9ȼ8nM$%&h3S!oa4"|Z8E8Z+23} ?jj/.jksjg0_[onVSh EB-|9X}Է O%.~ʾokƔ:܄nܮʙ`uބMg/=oO16l-y8ұgYZ60269e21459d8815165f3a525f5e1e585abe314e79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d / Max-Card-Matching