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 0+ |$ / Strong_Security:threads=2elapsed=19.899cpu=38.864gc=1.324factor=1.957zXZ + Strong_SecurityִF! Y]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL/13\zb*& ")<6{8vܯ{0-h7ᅭWs٭*@_xjnPow5(bH\ 'tʙфoq"}X(}lң#8l3qNyȯ@Axm\xbt\)<%]ԣeD^Ԛ;#pJ;Vng*ϒh-P}&@JX}v6 mA~)w=+WUAv^ITOKy-m $% J[8CRZ2c1c8ƧMDw_I ;J27y*f #ilޱƊ۾@yk(11x5(WS}yBͦmc%3FyDOU?„k> (c%q:9UJ#ƕm\ 'V~ծ6ZEV0餂Cb;q4%"p2Dgԇš_rCu)GxwЯWFd|UEoܰPh3? c\ xgn&研7>8~Ok^$9.GrNzJDڦ]{ :o#+Ma5X|k9zD&DGʹjZR +nÇWṗ:G?64G;x f9At r}eZ;@oR4s;d'T=YOr=]gYZ7zXZִF! gn]ŗXi% -ڑNW!?@]+%}zh7}n!+$-+}͕]׽D4Xi!ZFSκ u"TJ8m:"A lFp 3OHa-%+Qj`0Уt| vhg_Y.*le<F) 7`i7T f-K|R}|prZ Z$V1oK"'Bzyr_J?}4vIbTrL^ H2-F'c+ f=U܃N2/)!ea}Evc毙?Qĭc1{L 6,Ȃ=/vg}\VNQt{ilcy~ +Ķ=feLrBH`5.ʫұ- Z EeIKM2>cx=\ [065эGuOݍvQ p!ߏ.[+r{'9 EZmoC8^\ߗ> }Us(\Y碕^j4^>=t%T/ZmժF*788E{Fs\EnTuI q3V:5tO%ú]iSbR-еPYC!,+J}if^5yto`&iA_GLGZO^3znbhU. [-{Q>y̿ʵG%U vEac2o¾ q7||ܓ]7hHBH䲼VL ӣk""$/KzKlֶa'!bglch KXuKd'K\?Qe:ͻ,">(]JL4u9,J ]_M< 6"EIYٙ+S)p8e@5|D wV{s 3_fbJNZzQ** FBgYZ0c336b7303b23ce3ad8facba97d005511031fa79 15924b568e68d47d75dab652d7d2734edb365b59 15b72db6bff1fe99a2964d3636f1f03456d23aef 1820d13b921d8ec17a3fca161bb61e7079ecb8bc 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 47b0123bf73b955de525edae01f2a8c83434c792 5855c11fb47d4644a3eb1661268515118b384fd2 611b23318350c2753620589e42d5676a8ab4fd71 7453cdc101d0a2a99a53e606d88f21d8b3a62391 a20370c8393d39ab3c57febc38a4519af54dfcec aa28aaae513cde6d47a7f4f0509b1328c1e7daae b72a4ffb8ca19f4d8b8d763ce281d69c8af989ca b99b9da9c4cf3add66cb4c0fe7eefd6bfd36c755 d473271404ff7d7a79a798df8c25f1e1ac2d169670d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9