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 ,,QC d4d ]/ Median_Of_Medians_Selection:threads=2elapsed=16.376cpu=27.304gc=1.044factor=1.677zXZִF! l]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjVZwJzI9_ۃ7Ym"Ni!3.l(=#⮲^ګkwM]*occ 8tBWܤ:er>\]%./!+Nb-Y4Mp^K3) f2論H,X!IeG3oa<XW@E˫M_V0zVxO)Yyi '6xl)N~e j)O+Wa$K*Xґx#0CqTŐ%.(g9ݿsE~8)vu~|GM?D-MOcS7EarEXV  g^FF[I`ѽ<=n f^֫lGdј&~!V Mʳl d=_%94-/LADaFB0C }Iu-`cɓ'JlM{<( `yh7dAEKZW+n.pΝAeBY$( j#Q5u Ὸ+*<бgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V6)С4Vܙ`.7*`'$FbY*U%0 Q[ubӵuY?d A(C4@ -J,YEv#gYZ7zXZִF! [+]ŗXi%92޼۝ҙP=!ڌ3W(Z6fesx%U `I\.s"ża:0EF %o?R/\P6D4ߤXv>yoX4# >tK P*m6\J\V$ے`DVPlB2,A۩%;̣a L<=ލYEEYCDPY`v'_tRg fxcG(.͌cځL[0Q!2R0蒳uNJ # {PMB|SEsg|xDnA~*z[m`lj f0dplFpy!-"gOeEvnSReJT$>t`G*G,ca[NxsO@ee6u+Qd-欩tI_-Eb)QG8*KoY /oaE^L؊kA=@A-QlMp!L3ҫuz,0߶928!/Wㄧv⿤o(Ae5IL ƼAJ_ѭQF.;; *i O?A(3/ޅ0?|n_Re'.[S]%Ze7cɓ b o(Hw Ų33T /