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 V3 ,l, ] Functional-Automata:threads=2elapsed=15.374cpu=23.800gc=1.100factor=1.557zXZִF! ]ŗXf1-/6vRZ#գ9mB9c%:n'U]=wS?,!:[y$$!/B!>ޒ#pMg}E ^zH4[WeLEջ`( 6`,PΔ )ko cX/iE)Mu&-mE '^+c4<ܯ°Cs[u^e:nMR5 g 6M* FӑϏyqކb ->irCr39.kCT(r7YfzVwBr6Djc ,2}iוʱ㠬u87Zܳ%Xy>{fo`fDŎ:OoQvwFZ|کm%NA&Cn'HsݺE X-sSEmHr1} a~Mp5gYZ7zXZִF! -]ŗXiɟu𮓧xy:Áln~"p&l=@YP(68 ՕrAx HY.s{j6NDCI)mw(Q@2t/>Xu:$֍@*b/\|90@=>VUr]Pv/w{1vſgVhA, t)S(YۨW|" ŀ)FlBS@DZ5n>`zcn#,ӟS:!Ke*.aBhpA*Ko[򚪂 gYZ7zXZִF! T]ŗXi%ή++H3@oa'q^e?$ގL1a[ܧp[H]Arlz]pȍ,UX?c8~޴V4 ~APe$g JČOTJw(&LJkS&ז룼d&}#azyП\YDqW`GsWXrfL4&E-jK1׫EvCeõ)}Ac3QPr~:/:ܰP'ӥOrW^muC$1&/BTlkGnH] V'gbio^I|m>WѠS|Ki.gm56+FPwwluPZi&ke{,'by`*OMn1ҹnF-:ȺԻ榝F^R >NW }8ygYZcea14b217f5929df5919865c1d5f7191c20e77be00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 3 Functional-Automata