SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 33J) , , ]S Error_Function:threads=4elapsed=11.203cpu=41.044gc=1.584factor=3.667zXZִF! {]ŗXf[& nTg6 HJo󭏚nZ&17:7/r25;7pr_˗}ya앖m9oqVHڅ-}rW^iQ!7;8l{$UCu..D_cJDdjŁh;X(c˖]{/)/ OKߪ czk'e uN'&ԐSMM$;pAt@ fnHVĬ߹ 86ՊE֫PZs'WtAN1:+8AEόU&)UMaIƯ?5V@W𝶯2. @]+ա"B-10Af Mѩ6TBf$b>)o' / x%4FF,z+ɷ㠧Ht] ?5^H]9Y֝=fP ܇Y`xdvgYZ7zXZִF! S ]ŗXi%L x>WIc]zxmp[;๱1f[%it() jj(1%4+O\D{bepgSK  ɷ?{0wVQx/2b |oq0' UNY8EΆA#)(-8#Y.,^SNkWt,IS'XJ)"E]c# L$u8~2j PH rs.}# ' Jx5_] @4'A›&6y(L+ǹ"J|݀QQĄ R Y >C<=o)mIxy1]dAByI_&䈙05Nv*]);zm/ -[L–g默.CdEf7E_\Ws5"nO+? ݟ51花VagG(TFw3ؽW=_}HM%=DK7IX::v]a>!)&i ~;!~,񄭐ݢDg'W&P孌ۢmbO>_Fs=PpؓHycN"f?.7d8FҼJ/MceҩK% sz!ksE 5Y%ʶid3 oo;=Z:q[NjԷ #4[6#ԤLFb90IBqf&D$Z+J+G']ګuDJm@ɞ*u ]7Ͱ&8{=x