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  #%L ] Pairing_Heap:threads=2elapsed=4.213cpu=8.172gc=0.480factor=1.947zXZִF! ]ŗXf1-/6vR[2F*DlIW,|k|at&S',UbF<МBu\er Ű@`$m5kmC,Pcu Qͦ(V4F6LpLRl:ahZ&P_DDd`m/ pgl)) M,eqXJt`uk6<-d8-S -=YB@R?/e gYZ7zXZִF! ]ŗXi%6f:I@QEՃ(FT'tZ~#P8 ёn<bu\APe6$t5"NC'NꢩNE2K L(χ;9;%Kk$zA6XmfS6a\@V Ч%Ew&oW̽Ja6p ƴz6.!E]1A|uʾKY ܱߵrD uMW}ܘmazFΠr]I%`x1A fGꮑ{]Vuwqzn>ɐ 631bgퟧ =l#/]w:pe𜹃*I):@?h>dkHR+@Șg+cW@Y "m@tU)޸fCѭk;SP2c}vC.lǿۍaW) G }լ2`p7)GTAd{q#bFٽШ'ݷ[kP4ʟF3$?`i҉ o~pO6X,bSը#:+pe•rejZCh+#?hҙP7Oc&|TxK[%IZ8n5Fχtu˜7MԆTgYZ860121b30b8e6dff70d97476f1c284e876d9d9c60a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 % Pairing_Heap