SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 t 4\ S Show:threads=2elapsed=13.129cpu=24.404gc=1.204factor=1.867zXZִF!  Show lT]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF\-3R4! iQ#T[iX`'ɴJO'@^enK jVv*.U;; BTYmEL)m~WLEuVzXgi$|HL-l@:pl= W׾kݰ>%lBQ!T6s,dde!5ϑ 7 T)RU;b6nlkB-wt0 WkPpUׇ>׉axY+" KBăUk5bb)I>5 YDC" .-|oާ$^*X|J}H«YT[L>#WW2{OYݑ9#Aw tם[ |]Zw{>d ṎYתx3@J,)hEw͡TPc6ܫ? 3(Z%oZoFGa#gRQm88JՆ.3lRĿ85 b+B%M7v7: % *(mP-L'v< BP9uc+JaG#<ۏW̪SbQ'Ygfk4bk ,c]י:8%5M*5OgX Cf2lULkʹ}lM< GM;R,F 1T!l& ED޲dh)vzu+b3Kh{KmHZ?~ݪ)AɺEn@Gbc0}ՙ X9OI`LаsτZMxciFP97iMv/>T>[^&ԯqK[E܌w6bI%` -&l^tVb0~ZY xsO ĝzc!` ^0vW;tr$h87 s4F2GtO׭\"フ{\-rf~r"P#nE9; PP|5 "- xCWl]N8H žEm=;'-Cm%B[`uzP.;m6c0+~7' dGmzeE="(3#mdjдJgF2nN!ubrT֜c45e"8NL#ЖV89Z ,2݃ J? PsѾ,*_GUݶFDlRTO gǹ#-I/%ixI??*UV.z>=~DnèDג35"o&heCz;lG ._+F*bz14O2vfU[=VlӲDFE<9dy'=f9LOZRm{ā&em陭f70,/0q..4tT'&e 'TEbFYTSZ ͎{($g̓zn7a[ k~bJ)A&6ȴ|kV78>oa_tG2O7yEP%.{1(!%$>ª<]m6?vbNKClA/#`g0TmBM.zQ%:m4h1k,UP/-\~c ;`gYZ0e92bfb40c58ec80ac022b0282cf2ed21656ca51 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac cf0eb34815c10b600e671c786585de3d3713e6fc e4b67763cc44ec3783072429e27930a57fca1c4a f83abfa96c2346ecc68d747c8f1846d73e577b2e8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a 9c5019d42f7c7d9ae658bb019712535335b4081e