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   k54< S Priority_Queue_Braun:threads=2elapsed=5.109cpu=8.960gc=0.256factor=1.757zXZִF! \]ŗXf1-/6vR[3 @ԺU4w<0S˦pηr-Mdxy1[ rkt{g@Qt/X1.z~% n , 15(zX *jWc];:}D @Wld5x Ll #'b}(H/V(D;Wz,.mSI'W\d d\zAF) Vc (q;k6{8@t dw#VGkgYZ7zXZִF! ]ŗXi%6{o{;J޴C̭Tq-M}q92T۞&϶apG̪f6#:VJNu_*;iA~,Buj.,(15dyP_č0cFTOdOjPo!ء/]D?qST@ keXYAW9{|Z3آykV%5&#NF2 ИÚ`ˆ-jde(etw7DvqO(1i 2ǔ(=pu?UVJ$p!)v:zOs(L:-cՒm9lbɚ7G y9=3D ?Y\}8ZS VsZ^,5z-.WJ|S\ {@ˑ\2J]W0"Y㭟ZIyxq5W9TR8/B N*kJ=Z5L14oxe (Y$ݺ@9#N7dBPΨ1T41ÑD A2b[ {yV*;zFƾIm[giOin%Xي.>ݴN3CnEFSbݱoLx9]f߉adN?QvPɕ4P.! U AU:fA䫱gYZ7810a1e50f70ca13156e85ef006e2bf45c096fe8 8f6caec195f77c7e45489d6dae520cfeb0241dc0 e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a fb5a8a18a72dc7fae95072da75a324b80b4a4a08238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 5 Priority_Queue_Braun