SQLite format 3@ . BBh77otableisabelle_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  u! Td\ ] Splay_Tree:threads=2elapsed=79.162cpu=98.088gc=1.744factor=1.247zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%~K8V&매 `q"%+sYˣ{Sa-D.g/uHi=ܩ([[<_lq_\2o nXB?dl䷙BEg*.7!41s#U K*Bn*QT gj&r`5޾y]O#*vUmlyL1(l|A:7,;8I;;1k8{r-\1ޣ{-Ax3’X`Cc;>b]\"`s|d !Z Wd,# MPPo} $k7A7Fь u%).%z0%s{P䝟ǭOo# 5.ˍr2hS ͱQ%GKOحV"iut  ! Splay_Tree׻j"[h=5ہ5 - Dzf̀ 9 źhd_#P״M{ 6!qq4LC7Ҳ3IgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻INN}~lzNٶlg<2nlU捕BxC2lBz:v<+q7>"n%se+ɲl3mpnʈ%jB)ȡ \Ƿ].&s(DE=̲O%$o9tOPp2|/yzTXy1jFB\j @d5";qq)]=G͇_-K"=eDhGzӊu,bNՄ`o*J%pUܞ[[v !1.\Z0q-F7ĵ?„W2K .Q}Ju3!^ (w\w,hdV~r˝f J쪚TyGA !q#s[q[ A)}FhU2nZB' QXx <%qJq: 5txN,{L$LjPCOG(>_}~|$MeUeP }_ 2 [VPdnX7jm\-@C7BO*%1}ax.nGȊ׊mUg b}2&XHӌ6! O>[8J3:_S 8)C1Z-<4jFRϹ+֖V6u)W Lmo^@lD'h(>nj{™Լ1GL {}+79@ҋTXЃn܈BXIr.&r%K}TO ^K\̵F"?J#j}Үczag#!H")e9ۊ!rV#~tS{o* x=a3kebyN 'Bvlr:4R&O#Ӟp̊m T$HKop&fzϓ1b;!ې6c h3|-#PJ>^ErJuEšk +zsnqF߁d>ԢԍsgYZ508018947bdfa6c8197d900f272b9370548eeeaf79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 8e20ce849646d33245e5b8e0a39681f1fa96c617