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 r1 D \ ]S HOL-SPARK-Examples:threads=2elapsed=16.301cpu=27.704gc=0.648factor=1.707zXZִF! K]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)(^F|Q:a %7@@*o;vC0RW ]߻ʊz8D$ɤÿmZ!M}M DUs+[Gа.ԀPjû 0 A= - b)$&'I*8\*:<W $}'񉄎Ж}%*ּ*>pYh>t8n.dgYZ7zXZִF! @]ŗXiɟ1'HGu C),_=g~ {^} vip8@APۼ>Q22O 2{$reE1AHS%:ŷD߶-dnخBb#I[ HSe _:Mx h" IrPxZO1'٫ 8HFC3VYh:aP\0YK/'RJ9f\:?s^ĵ܁6pa l6u)KDNkc3Q= 3,iI _W1  P ~gYZ7zXZִF! Mk]ŗXi%;cn0oejWxIz>k1RBjG#_l&W|87 ik\~`L{iv hB=MވCܧ'5^@P*2%c{dHF6%L;Teى.FW3Q$?焮6 `ƒI>F>*) Jkĸ`;JF$e*mqdpz2]~B|v 1o х:lY;^^KS z4 ⋬ [>Vipin;F)(}e~~މm*={dIFڗ |^*)M 4tX:Hr~;7rLuw=Cf0;"}pXEM!JY}G(:g,yU {\02ժ V6).2sL ri>"FhzY[:4Ek⹖: % RD]tp=8KҍR nJqvbX6{R>nXaq!։M3 U,@g'fzߝEm3~- =%*ST&RcmH42޵ DMr '_$ON&o[s_Ee`@2켌-CPϫ QGJs-h U k#<#!jiIhRwD$ YC? y;Rb*lEط}D ;+)o<8P;!SۻP_^X@awnd" @?^T8~XfI}橉];~`KX3 (y:oU)KDM2`bsfeg2֗ԽhptvOn'u#h3}ASu  1gYZafed02db76517cf7d579da9ad74ddd970a033a2c047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 1cb351c3b9fa9f70f368a758b1aeafb034030d1e 6bdb22362226c060f4c11c89b524710bc67cc0c2 1 HOL-SPARK-Examples