SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  )\$ ] HOL-Unix:threads=2elapsed=5.767cpu=9.416gc=0.480factor=1.637zXZִF! C]ŗXf1-q恈>HAHIq"”a;E HvGl "9%i-3SYe]kDzo(\)0 :MELBЂoyT]}GU~NaBY.r(_g9bw/X̢, |ަ*VdS@ȕN\QAz4d8qQ8[Q, r5UY6o<jd}`c-JNbK~NgYZ7zXZִF! f]ŗXiɟ1Ivx*`(rHQ ɅeXa?I\I,Og=3U;iE|iM {$I+VKuEO#,Zwe ƻgYZ7zXZִF! ( ]ŗXi%>柗A0<^>t(5JNQoM-# X& acr0t\] ~HW3p}rwdsGb!ぇ7nK;eSRUxFth gpEF>Pi; KNJ)g3vJ&H=߶;ljߧ;Djf+ˍ)R@59|> E3–`sc,s2r?zclEV %auY}DUtH0_|;f8A|&[slK@+.[SFrj]Gjmanp=*Lѵ,'hi Z5)vbyZMs#;mk<.%i}`Μ<ب;?WQR/HSܵ6|^yಳq| ">zqQZ>vORn LY,d{BST?vЁ c&_= /T1|Q$ױgYZ47b0265d1d39a06820e3ab4e0f21347ba45950e21770e7d42e284900cf7be1fa0dd3341bffb6e5a0 3748dad1f2adf6ae24eb2a2d4ccd1ef4791b4c46 8d449bf485228cc9b63005d9ee3a814c099de91f   HOL-Unix