SQLite format 3@ .à øBB­‚h77„otableisabelle_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  < <‡A‚<‚d†l ]/ Sugar:threads=2elapsed=0.926cpu=1.040gc=0.000factor=1.12ý7zXZæÖ´F!ÿçì \::file=~~/src/HOL/Library/OptionalSugar.thyoffset=135name=theoryelapsed=0.352ü@0ÀÆ?Žu]Ñg¶ó}YZý7zXZæÖ´F!ÿçì àØk]Å—ÔíXi·ÉŸ™¯¥ˆ1§Ë¦À¥°rý p0+Ï7bÔÔõë¾Oa\ ÖèAT0½Ï_X,ÒÖ%iéÍòmŸáêÞø¿^É?ë;ªI®ÿª"ÀÈç.± ®¬ª+<²WMÈrÒ•»Ç¨°b±¼ ¾‡Ù)E§±ÄgûYZý7zXZæÖ´F!ÿçì àÚo]Å—ÔíXiÊõ%”96‘UÏ\PŠš5±wJVmÖpÒ’­‹°ãsÿƒÈæ@ðž #ÇÏðÜïëÖ ÓºñÄU9mùA[)’”T›QHiÔ=S Lóì¯1ÝgâmsŠB&k$ ø‰Vï…bwàƉ£ƒz!… 2°ê²²5ÑAê_óet£æ±iqª›G«•fÁxTðšù”ø:® 9†#Fò¯!|X§˜rÂ\ ¾øÑÀ²úë%}0ÃË´ÍšnîÌ%J+¸ÑÁ±¦¥…ÑIrî½[¯ÑåÎ?Ù­ÕçJ !ðm‘Ë'pÃŒ+2qÍ=þƨ,yLÎr; ÜhB‰/鿾§u4Á(Ÿè;ÅW9"Rw¢³dˆ5ÿWú¤²e­YSÍs\¼ô‹dƒb£ÔGùx;©…—Ù ˜L'ánEÈ°:“ÞÜIAØÕNÅéö4L>“Dñƒ2FA0¬ônNaȾ¨×‹Û Ýç ±ÄgûYZf1f34c5911af95c5a79982c3e1fa5c1208a20688e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 ÷÷ Sugar