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 r7 D ]% HOL-Quotient_Examples:threads=6elapsed=27.046cpu=40.824gc=2.328factor=1.517zXZִF! p]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%1 RIE,p6r5x!MaA kU\MX(Tf i)zSbf2qJR 1%U%xsFŇQo=TVy) Es ߆ Te4\5%d&A)JˌZĒ@ 7B yݽ#NM&k%pMM.VYSAýgci 0{_!BwC͜ye^?|r޼HEFK',S[&ơlKϘ9)86f i!Zwhzߣշpw,VmF;XTD2e@N=1=#Pa(LtQI xHLlL}}v C805YÜ=h dY ş2L@#xvNfCTW{m LTLqqzuirt"0+je۔^¢ ٰh7f:סN׌[ɽ4%/Pdޣ{o2Y/@ 9,[t\WVr9Zsk^ ./˱gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X'6' _Ya\3_~XL=:2֮EUa9~PP-Yd7%iY5:5e>mMޓFhJ&Us2 lJN V2C@n ZLuKoκ ]SIu57F e-u!Q"$ʾ"xgYZ7zXZִF! ]ŗXi%; cK~.H#I['=[)%xr58cxߦApOX@ gFW݅7||&ZI,nI;\%ۣjzc[s=*neh vqNGNΤsNI"FŬ[KAUlHȤϏη9H{'}Sn\: 6&J13[Ft1"XUUi8))Eq\#d>5ute$híe n)q^3̛.=g n*q7.L];cDV ?v:mЫ+f*Z(=ql.Q ;@!pMN4A.b~AXYep}jaUZE] 98 +S@ԓEKoq!CYx.n/\^Bz-ݯc#W7| y$:GOk'MCAhfOx*h2On\3=}jr:B>u0@n:9nuhb9\R'4d'G9 2كbXIG^>U7Wgk+Ȉk؇{ȩqd&NgzJV@*7{q`0x:ԟ[ =+igM)!ﶎߏPy=;R w"|-wquYOBf%SLĚ6 H,q= EFdUS~ + 'Y%s͚ _?