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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info n n 6v44$ ]/ AWN:threads=4elapsed=64.520cpu=204.616gc=7.6887zXZ ִF ! j] ŗXiɟH)0%o
/E B܄7,6Z"c*dUiz(c}`t70}F<X)ķӖ25"d턖9+kT^X6wAz x|}2#rܲ>6>b3i#'`~j'ŋ :ۣu ^j`{Hoɦ`6@J6U\};U-)qg4_Ts+/JЄ+[#8c>v>{ĭ>,O?LLx7T(,34sFQ#q4H~yZ2t)R ֙oDyԺ0oEț?AhXagyY)җ/t6gUPv&[MJ=s"IQk䚒bIqB:OŹ͆QuÇ7©",H&i[so+ZCT/ `b6d]Pb\lU֏MT1XW=8|a_9zxL#j!ے?'|g!̽`$'ҋǮw/T`ucԊh2N-F vEuReGOrRxe/%)N6 TCj AIG®5vGDzs/sYdxrwibXZ95^ג%l5!7MQS\1}Ħcz ae`EI 7tuzNn#sn85؇DH xZϠPT?. $I;Q |v,'wI5N#WF%V\_2j31 qꃸ_n{- Ieɥ1IOSxRO襫4Ǭz*QǤ:3Ntϋ^:=}xKRއWhejQY\vɺg$G66>Z43Qyq 9Z9Rc-ӚqZ\JY=!c@ʹ:ᳵ!>Z^t&r QQ zJQ1x-ع $ܶJlq}7FePg!PVw4k%3tX76qVv9.gy&\ar>3'lcKL<.TVB.GF">d)&?SSy(k] \R VbmePR}e_J'R+21VIk{qł?6_)G$WOc.z Yhs$a`;1K8nB]7-)\6xPD?_fi8n+KFA%d,Nλ9?O0Gӷ bqLC9 +WTUɼV`bٜ{9"*M5=6yb[g75Z g+_f-{}ܫ*u`W6v+<