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 A i笛0SgƔo0z.zXYC8UV_idE4 `L?ؠPǹ?G@k \&@!h{E ҫ]_'~饸Bs=q8CpCR(N ?ptu F7 g& O9>퐿ܟ1^?7"lpue=ybLmsU5XgYZ7zXZִF! :]ŗXi%6˻h֐?{ vqG|iB${|5| Q1}ɶ;4akalB0H!w"l2u ,s ˙7 zR8ڧ dړӮ-*4!X=l0?w^[O˕g?|lϪ:|&~k%㮲-8_nb,v*k_J܃grg!v`M[0W'ڧZ !<Ɓ._x=?yۗ "n^UРjB)F<׾hdV3{-|W95*`JnR{ 4ʱd91|:)pN%bnob E݉ob枲US7ZSdA&ÿE45#/Ȱb5؉4:/? PRvPL^KW*kbZ ?''b,eT6Щ PKw[ ;r N-ylx58hsͽg- =tR-/ey ܔRe(DsO-yuA0+sʞ1fbXL_{Ps' xf2~qomTɔ:d 9oYg0Y5gLp%b~<Az;{!OAh:/7Y% sY-](6ugYZ0fe0f3b87ecebdd26cd71a66041ff46ea4eacffa 21858a3ba62be343ae28fe73d6a679a5c0f46a99 71405505afc60fdd14ade81ac50425a3a8039e2a 72315b892efbd2336c2078486b542b73284d5bfb 8405fd109fea665b70746821e961c5f723228be6 85b5b091b210ab178d4ee55d86a5bd4544ac4b3b 860cf660c39c8f4e7e3488c01e349325ba82bd7f 8b865632e05350cffbfb8f4aa9698a5de67828f8 96fd4ec011218dfd591cb1d23446d106edba3681 bcfc1343bf8f4bc7dd44576a0ddd156c0058a4c8 f471cfb89a1fdb016ac9d3c1a8a5d57bb8dd3b22554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 a66a6ebb76f8ff4eff4a0d0a1bbe957a179849d1 A Regex_Equivalence_Examples