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 E L$L ]/]HOL-Word:threads=6elapsed=9.978cpu=44.548gc=1.924factor=4.467zXZִF! ]]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yۮXee)ziGseغru\(PMX+հT%['I)n-'Qw#,**YdMƜ ҿ&h4F#l볃|: >ygIuAn\~\On;:P#{( W*yʱgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A+*2y=wuC/zp8rhq~A/!BmmD׺G+ #oopgG]zV+˰o+O}0*(}_2Bc⪬u[mxa=.S-)w}+$8Qij?*b8SPBprhADZACFPa{oa7^xn?_̴M*[r1,)߱cɺhq {c=̭[.̑{ĖpW /I~ziOQǵ"zg&ɨ+M+ EgYZ7zXZִF! 1]ŗXi%;0T'Owg>ÎJE_AјPگ,U)deбSqby1\;òo4GoE0 Xя}߅[Ρ.YHn c(DzT>+|+neDz}!23h 2!i+`Ϭ:(Y*ǜ>sO{3sQz ]J)ɿŽ֜9|wɅ8K/"M"_^=0}d~ *V)^`]^3Śt൱S,W-v"+!,B6^g'd\9H=ljRU8m]G- J Dxa Sj/ <d"]Y\\MdM_7P1Мk_P!kMlq:嵾,׺Sn2O.aر\bYv)R1P +qj)U{-~O 5enjPL(E@҇"%C^}]LT,˛Kօ5@uASLe#Xzd6?`V'+qJXZ0j S3 lNo?.7c;; q H@5ev=mם4[D9@ wwI|oY dM)v+ 6AxP*/"?2n D0e:E^Z8c'WPH)~2YWfR(1CE㩚.7c$'Qe{3Y6<婜&ge1ԧo*VVҥHw~-K2s u 7)&\ư`5&GK?p[_0j%` rE`h7T?MJ%Q$,bT[]?t =tIq>ݧqA|ir2D7pZ=x<fR^jKA#v]*-W!~C c gYZ42431cf6f7ac08a525839621199bc365e0fc8fffba9703b8d89941ffe014c15e6ddc671ed32d9999 100b23f10739ac1b172eccb60c813bc22e9bd4944e5037b710f0a7d9756e5fb9a486d68c3c7fda8a   HOL-Word