SQLite format 3@ .  YYQ77Atableisabelle_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, "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 -  m HOL-SET_Protocol:threads=6elapsed=22.017cpu=89.448gc=2.124factor=4.067zXZִF! )^]ŗXf1-q恈%vA?'GAq,$L;׺N'nH`dzAFp{Yz+[(0nrc _nsH+kCL2 G v& V}鹿QD1pB@X',qtP5-RH2MN7@z5^Au# D@ q{2>-trVʝwO)jzi+ZKog>ZovmQB&xa!'¶kOnW vr̉RvC٦֘TYl8nafosz:ܔI>w9n|!iWm&}r)Av (^WXa!P숵m ayRbw[n%>"g#N9`Nz1md e Gqt|-DGfv @Zf?d9tX\P$ci0MFhadpE¼@BpDE:}j?? qڝ/RG>d 3$dѱ)=,f+CXa 1m:b5X͸(•n ^:8ןeX&WF9<˫`5*_ën]q+4׏S6~a\T` +U WƏ_1_mLy?r39cJHo<#RK R0gYZ7zXZִF! g]ŗXi%RglpvX[{N^v|gT^xO73eSȳ[.ޑ YՐ4WPYSw>.\*Ah9 Y§pD~g6 A^E"Cc:N'U q0*_dj2@$=?~LeS:ͭ.>qЀ- o/bw%\>w4+hu.uҠguz!o\uhxzǛEHg%;,rPU\ABʕ$D3C].RcBoMK*JpC+=x1w4GQE02;_G6f*@*%IQ.QdrU?NE 1gOc1E,j"/qt&Z7,!ɀ|lJk׬+ɳ`SU ˴9 '{_9bu~ce];TEGA>.>[?ա ;Bޥ#1،8#^d@~׻;ah_2+am6#~= ER җc_qS~1_'E!D_jG+tQȜl\T5&{I/*!9.abh8l d*Bd٤'D?Ɉ1;X~;^ay>#䭦}pb!!(^ܷt\3>dT8DyLr+|y'gݸs0Z8v=/eaqx6s:|]&jbaGOIJ<$a -ΛL ]4Yբ9\k7qF+7k.dX/vpDq=C4#<T4 e̩-$JdsYA$a)[ gTH_7VkS* _զE.upb  J=D7L 7[@ӨWjW)1 B`4lXU5^.EH*J`=.xcl'tmLJVr73%hƤ@#byQJJ`^QSJ7H-.,+