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 / ͊Yʍ5]D'Cߩ- `|NX 0X{"b& YSc,~mc8On}wSWXF06|(˄lI׎JlF }ET a1){`\ƊǁD!sj#Voل7un yTpFD@v$Pbe$v:-΁7"+L(jR{?}X5sZ@rZ++ERzZo3"ݲ6]HVg~rP3sa0uCM8װQbaYȮpr "T3յ4`g@lC#oo=hn_x5:ێ[ vE)&kϹw]ۍnrzwT)2$0䩢`Kw K]6()ޥPc-Ne3jFXK9|`K4 M3 C>C[ÑI6ڠi^i) m}n(2 M(g.,8^Lw6yG<쑍KP1-t/'QKKJ3hN`|Tɠ+[v8|l9"|@@IԟWhBu):k?浬uJ ,܌ "Mtj{p ]cL94s!HCӫɚ5esl$9BIKL.AǦ:^m 9Hq2Æ%zo"a++ 6! 6X/g >~oF&i \<6u;s&;ÚlnyOCKʷx>j߻fiqp 3I@"[$KE`LQ0 +w[ Nŏheڡa9@5gGvS!6̧_ (٠UZ! X4|[x&ktڍuL(pR!=sgHY}eOY&f69GBvr]v;IxǷ|t~; )ni$}0 oULL~j'Ӻ`q%簲vRfj^3KIBYi Z<ѿ RVeur;憪;+!R/w 黻Q#MIEĽi\?}l As,q|(i F'gYZ0ee64616e37177565479368c4c5f56d374d1d53c 24837394dc7825fa09c8fb6cdb11476fb0500072 29faed5f22449255e0b21ba27558435b9a4a13c3 31d068e04edd0d37788cb94803f5ac07cc317dd0 d83b8216582c5d394a8fd429e4a61f1f74d230d9 f819085086da7f5b6a4a45373915100bfa5c051403f2cc36b4a4f77618b1b338c8aa62714b840e80 cc27eb456075510284f02feef1118c21e49edbad 3548de0143411ed5dfd3be9ae84237144e952998 ee4743636beae720a8c5ce90098436f44fa2e5d7 862f1712828b85c385752423a9a96d923f8d664c 85fd750e5fc7ac7a9ed215d38ea221f61b43a1c9 / Monomorphic_Monad