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  A/lt ]/ Max-Card-Matching:threads=2elapsed=1.583cpu=2.840gc=0.000factor=1.797zXZִF!  n]ŗXf1-/6vR[tp_S T{xx̺2>&]!-dN1Udz-pAq]2hF7A).ymnYo7`MgYZ7zXZִF! NE]ŗXiɟVĻ,|WU9Jؗ/Y58'HaO̳}YZ7zXZִF! W]ŗXi%9#qzޔ%5tsdG4KQG7y\:)a>]Xߡt#pմi}􃵗AЬQD"~ul>OKsZʾj> +?ܠC'mvp) 5/b:3V Wp=`̉\b߳$f{9:x)m8@jjHϿ٤TA/bxI2RnC v1YS|f8\@|# X͖8y+1t=ʯb)>JZSAˣ }|Fm>q$1Է#W"U@`P Z)B.0ZGJG0!pDgt|BsCQ~vaAX2uMpW  b >;E׺3hFZC Β%:2jЗꊥN0pt`AU{$gYZ42a0973ff95c508ea5333ebbefaed7e31f483ae28ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a / Max-Card-Matching