SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info %/$t ]/ HOL-Proofs-Lambda:threads=2elapsed=142.602cpu=164.208gc=5.728factor=1.157zXZ ִF ! /] ŗXf1-q恈͐7ӺV-fw0w]BjZjfէ]JUgǖfN&NC 8 dze哇.&q@m̅E )ɯ7e.Ƈx8v>ƹgtW6j.kh>x^YD>/κ9+$)δSx g?_V NB5i* ܤ1 C`A,*v[行O2>FjCU _y$TZ6VR2A`Pe&Mc!GLF ;X_VE9"M&ETFx-I$ƜU*")G6N6xY}Y`M-?@|`ElhD*SQdn-Pv>wH!v1R[zeo FFjg #_g YZ7zXZ ִF ! iK] ŗXiɟ1˦r+g'^.e#M˶pFrG*+7{5Wd$2u۳O.
*@1."5v[yލLgT_?DM5]J+5+pdKt@!\=1X/87sSPA dl@0i T0 !~s c\g YZ7zXZ ִF ! q] ŗXi%9*Wε!S ::.Ӥ DOspݬmRo1hS>i;:G
Aј-!"N7NƸLRCoɺ%Km6<n*@VT!c *Fo[7Easnhk6UX]P^Դb(bQAEw2/B#9,upÇiSUצԢn[SU|Zpiӓ)KEWJY1@nնd[
'B}v1p