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 ]3 d SS Decreasing-Diagrams:threads=2elapsed=22.580cpu=39.176gc=0.996factor=1.737zXZִF! I]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4{:eD&;"#үD9(̱ sپ0Βw0cԑ]K2DQ\x} Dp1]0%V~ʷnAլna #c完urky`.̵Z|G%>R,#BXy˯ Hl<-}n_ e; 8ERI.(-i5Mc\^;7 BIO^*IG v@?$,Et|MxVQa)qN/nَ-xZ !|/Ll!0!{m/;Y;قY=7Z+ =M}J #ɱڗsSfǤye9`tH޷,K.%M0cywQ:&wi/517sRXḮCWKPs_%<&-h6i4Ӡ<.9e,0uXIsWr)$qvTqpYܞdrʝJ5 )О6ֵ8 y3}њR+HkƓ VlSAuB.BBcF.{k=5rXJT s {cA|DW[dztUj7%9!A/Bf%]P03xR@|i T3&{e0Vx?옪-vhծ47TCdFAw -gYZ1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340 5f83dcf2976631d4e831fcc4c95c7a48e6a58901 5f8e3f17618ab8944a9eca8b58043c6166872776 f0205e10d968b4593c6e9e0cb0dbe97f330d1cf6554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a bc0749a4f96de53e4d56260de41318a1871837d0 3 Decreasing-Diagrams