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 5 5 </D ]S]HOL-Number_Theory:threads=2elapsed=127.314cpu=232.288gc=10.560factor=1.827zXZ ִF ! ] ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z<<1=}+Gl4jCI/`50APאW86}()t3[aah_KBmST1^>NRA/vn03TRr"e.cE8zA{㦒L;y% tak%8`-tq$qKDX,m~ I :UP}RH YAԍU vWJTh7`rx5Tπpi)<Nh_Bn&}$Ǘ|^蜫TbB^_"NJE8ɏfPEth_9Z:f cid?aV eDJ\yt%VYEE+ęR نWIg(4(r$r\,waPwFmTUkXzOU6K=^¿gFM7"ఆGURd?O[E1AIg\bhmOC+`f%dTgēuyt=G#}e_쭊Z`7](U]^]<D8zOZ3`r2xj͗ޛ^\#ޅd,&WI]M$T5/.1""aekW`fzX[$jk^hr-SH)ӫf N̡1.>̄cl 8О>*^\A0HR~xs0XWC]9r܊ɣk"UxoX[OuEe8bCM Iƭ4fS*T+v oJqsq=(>H#!BG)S87npl~QH 㭺3mJ[>ff`dȘP#zf`}k m:,nAXW3Ģ/̘v1aYWgMRq};<,H0M#CzBx L>@>yFW]po*`bSp{ƌQ`}+u7٥ᱸt"T,L+4y_\0"8B/Nʜ=CfT(uDzhPoDXOZOǍf X@t&]R. =~v_ ,&8=R.nlMfcwKM5|aJZ542=/ڟ&Aɓ@zފJsy-:JSpi],q7tܯEQIs |Qt0^