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   L ]S HOL-UNITY:threads=6elapsed=18.064cpu=85.256gc=3.412factor=4.727zXZִF! ,@]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yx-G{P:rm'G ” ߹\@ tz5z8E"=h[WJ.ʁ-J,DU1IY5&r.UrD^IT.й>O3Ǚ CC5yjHz# $u>E |0A"a[b(Ә~3/vHmn&aqC,;; +d2|WĥbQnL/\_%2h3T-|X0̨іj,_WxAUQ\'}g{]D_ ѹxE?]R`j3=L)k|̓'jz,S1#G+[8Ma^6]*wyPm;fe+#AGa?`Q HU`MvCsgULs ~] }u]͌]"DOPzU1v,tts;h^ *oq#(KA{G_eNj\APoGkٮfݑ7S:Gbˬ 6N!gw `x:рCOb)=''ed{!ɫ ?mgw÷XNUVUس*+||GF5'5suE.bތk} _0A_VSm&|Ye$Cҩ6>rCe7.i_?liI%f2$J䕽#dĩs飰轻:@JU@o8 I7T|^6Y<5| =Wk1Ro7'G=gLw#Vk| QS"Y1Pz1du/ C΍G{y*aABs ɷmy ܕ=}nQ Aq1OGF%G$l9r`-,^McDVN$ćj{sCcs^'GX YإgYZ7zXZִF! ;]ŗXiɟ1'x^܎5|fvW[̉$Fq rv_?‘%߬ x|j=^Ev>DD' [ͯ7^S!jeټG RS;YMoHl^Z4eܓ*f44ǔQPԖ ]? J58zA5STp=ʩLeV2'f4$lg9)W~C[eJx5YvLL,R|k]:'tPy#|k8y[;}IMIlR/혲F^7ܰ"Ռ۟aW9@! z5 2۱gYZ7zXZִF! W]ŗXi%;LH]c H8=G%ݯ?M4cQ4ve"ؾB ^I9^po Y;*d.#ǎ Y]9߶bms?+i%pWXyu0S|IcqHjv y٬RRC:8V W/R2< UJXk^áxEHFuqcem0s'jʯ,'1_Rk(tlGж/eU} {Bb $q #l/$3<65C?[G\#o*ӠVNV*S?ӯlcD 3$3tih!ټɠ}WGgzDo^ɡfX,@8RԮ$ wN@/'bW>/Yizk;"1,rJq:Y];:BAY8WIXg "6tjvl0,ZBb̒\( ״֊'p'$w{nyKG3ؓ%:bc'`ƕ~njOi;sC%/!.O$,2$1 Nz y?, BBE#6Y*AZ1Zc+Ưz7J\J.Cx2D0x4pwmA[QIC=f5 ΚYo~1Gll!t.xghKlC &LD״S,Օ@D i2 ~N;+N :DTOP6AiB[pK9" mvQ!w?}qUbΚCB©{V*dn|Os6bM |ju-Y1j~֭@pt'wh*0M Oǫ*IR {yN)^]X0/<_SЅ@@K~{AX[(&[spsO_} Z`O^ꫬy}k;ãLf8ƭ߯-+w/PQj-lC9i ٯ$ԱgYZ3a9ba718fd1d3e367d079a7ca06bf9718dba50e46ccfd83e19ef598f6e27e356293c7dd9ec0a36c7 4664eafb8b95b7e524d9955d44d27659b2d95702 0efab43c4dd752e25759dabc7f6a76e0b445a3bd f6013fa7fb9114c6056f036d448bdfbcde073b5a